小林 聡 | 京都産業大学理学部コンピュータ科学科

スポンサーリンク

概要

• 小林 聡の詳細を見る
• 同名の論文著者
• 京都産業大学理学部コンピュータ科学科の論文著者

関連著者

• 小林 聡

  京都産業大学理学部コンピュータ科学科

• 小林 聡

  東京大学理学部数学科

著作論文

• 情報と依存関係の論理(サイバー増大ページ論文概要,サイバー増大号)
• 知識の論理とプログラム
• 構成的証明からのプログラム抽出

スポンサーリンク