小野 寛晰 | 北陸先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
小野 寛晰
北陸先端科学技術大学院大学情報科学研究科
-
小野 寛晰
広島大学総合科学部
-
東条 敏
北陸先端科学技術大学院大学情報科学研究科
-
丸山 晃生
電気電子工学科
-
東条 敏
北陸先端科学大学院大学 情報科学研究科
-
丸山 晃生
福井工業高等専門学校
-
古森 雄一
静岡大学理学部
-
古森 雄一
千葉大学総合メディア基盤センター
著作論文
- マルチエージェント・モデルのための時相認識論理とその効率的な証明探索手続き(マルチエージェント)
- 新井敏康氏の業績 : 証明論の新たな展開
- 非標準論理の現状とその展望 (<特集>非標準論理とその応用)
- Provably recursive functions in fragments of Peano arithmetic
- 順序半群によるセマンティクス(数学基礎論)
- 数理論理学(4)
- 数理論理学(3)
- 数理論理学(2)
- 数理論理学(1)
- 69-17 計算機による定理の証明についての新たな方向
- F-46. コンテクスト・フリーな言語におけるあいまいさ
- F-32. 1-正規システムの決定問題の可解性