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

スポンサーリンク

概要

• 山崎 勇の詳細を見る
• 同名の論文著者
• 東芝研究開発センター情報・通信システム研究所の論文著者

関連著者

• 山崎 勇

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

• 山崎 勇

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

• 山崎 勇

  (株)東芝 総合研究所

著作論文

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

スポンサーリンク