山崎 勇 | (株)東芝研究開発センター

スポンサーリンク

概要

• 同名の論文著者
• (株)東芝研究開発センターの論文著者

関連著者

• 山崎 勇

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

• 山崎 勇

  (株)東芝 総合研究所

• 山崎 勇

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

• 山崎 勇

  (株)東芝総合研究所情報システム研究所

著作論文

• 一階述語論理における代数的証明原理
• 推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)
• 拡張された推論加群系とその代数
• 一階述語論理における推論と充足の代数化

スポンサーリンク