京都大学大学院情報学研究科
2006 年 23 巻 3 号 p. 3_3-3_13
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
本論文では,計算機上での証明記述および検証を支援するシステムNF/CALを紹介する.NF/CALの設計はフレーゲによる判断の分析の影響を受けており,人間が自然言語を用いて日常的に行う判断活動を自然に形式化したものになっている.
すでにアカウントをお持ちの場合 サインインはこちら