計算モデルとしての推論加群系 (アルゴリズムと計算の理論)

スポンサーリンク

概要

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

著者

• 山崎 勇

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

関連論文

• 計算モデルとしての推論加群系 (アルゴリズムと計算の理論)
• 推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)

スポンサーリンク