鍋島 英知 | 神戸大学大学院 自然科学研究科
スポンサーリンク
概要
関連著者
-
鍋島 英知
山梨大学大学院医学工学総合研究部
-
羽根田 博正
神戸大学
-
鍋島 英知
神戸大学大学院 自然科学研究科
-
井上 克巳
神戸大学工学部
-
羽根田 博正
神戸大学工学部
-
羽根田 博正
神戸大学大学院自然科学研究科
-
井上 克巳
神戸大学大学院自然科学研究科
-
坂田 史郎
神戸大学大学院 自然科学研究科
著作論文
- SATソルバと後ろ向き推論によるアクション言語Αの実装
- SATソルバによるアクション言語処理系の実装
- SATソルバによるアクション言語処理系の実装
- 有限オートマトンに基づく非決定性アクション言語
- Java言語によるアクション言語処理系の実装
- アクション言語Aにおける因果関係の学習