平田 耕一 | 九州大学総合理工学研究科情報システム学専攻

スポンサーリンク

概要

• 平田 耕一の詳細を見る
• 同名の論文著者
• 九州大学総合理工学研究科情報システム学専攻の論文著者

関連著者

• 平田 耕一

  九州大学総合理工学研究科情報システム学専攻

著作論文

• よい例からの理論生成アブダクション
• アブダクションによる論理プログラムの構成
• サーカムスクリプションと安定モデル意味論(理論計算機科学とその周辺)

スポンサーリンク