69-17 計算機による定理の証明についての新たな方向
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1969-07-15
著者
関連論文
- マルチエージェント・モデルのための時相認識論理とその効率的な証明探索手続き(マルチエージェント)
- 新井敏康氏の業績 : 証明論の新たな展開
- 非標準論理の現状とその展望 (<特集>非標準論理とその応用)
- Provably recursive functions in fragments of Peano arithmetic
- 順序半群によるセマンティクス(数学基礎論)
- 数理論理学(4)
- 数理論理学(3)
- 数理論理学(2)
- 数理論理学(1)
- 69-17 計算機による定理の証明についての新たな方向
- F-46. コンテクスト・フリーな言語におけるあいまいさ
- F-32. 1-正規システムの決定問題の可解性