情報と依存関係の論理(サイバー増大ページ論文概要,サイバー増大号)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 2005-07-26

著者

• 小林 聡

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

関連論文

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

スポンサーリンク