新井敏康氏の業績 : 証明論の新たな展開

スポンサーリンク

概要

• 論文の詳細を見る
• 日本数学会の論文
• 2005-04-26

著者

• 小野 寛晰

  北陸先端科学技術大学院大学情報科学研究科

関連論文

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

もっと見る 閉じる

スポンサーリンク