大神 茂之 | 九州大学大学院システム情報科学府知能システム学専攻

スポンサーリンク

概要

• 大神 茂之の詳細を見る
• 同名の論文著者
• 九州大学大学院システム情報科学府知能システム学専攻の論文著者

関連著者

• 大神 茂之

  九州大学大学院システム情報科学府知能システム学専攻

• 長谷川 隆三

  九州大学大学院システム情報科学研究院

• 越村 三幸

  九州大学大学院システム情報科学研究院

• 清水 亮

  九州大学大学院システム情報科学府知能システム学専攻

• 越村 三幸

  九州大学大学院システム情報科学研究院知能システム部門

• 藤田 博打

  九州大学大学院システム情報科学研究院

• 長谷川 隆三

  九州大学大学院システム情報科学研究科知能システム学専攻

著作論文

• 鉄道信号システムのモデル検査器SPINによる検証
• 導出法に基づく定理証明系のJavaによる実現手法について(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)

スポンサーリンク