推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 山崎 勇

  (株)東芝研究開発センター

• 山崎 勇

  東芝研究開発センター情報・通信システム研究所

• 山崎 勇

  (株)東芝 総合研究所

関連論文

• 一階述語論理における代数的証明原理
• 計算モデルとしての推論加群系 (アルゴリズムと計算の理論)
• 推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)
• 拡張された推論加群系とその代数
• 一階述語論理における推論と充足の代数化
• 充足可能性問題の代数化 : 同次証明方程式による判定法

スポンサーリンク