若木 利子 | 東京工業大学大学院総合理工学研究科知能システム科学
スポンサーリンク
概要
関連著者
-
若木 利子
東京工業大学大学院総合理工学研究科知能システム科学
-
佐藤 健
北海道大学大学院工学研究科
-
若木 利子
群馬職業能力開発短期大学校情報システム系
-
若木 利子
東京工業大学
-
佐藤 健
国立情報学研究所
-
佐藤 健
国立情報学研究所:総合研究大学院大学
-
佐藤 健
富士通研究所
著作論文
- 拡張論理プログラムへの意味論的関係に基づく変換による優先順位付き極小限定の計算
- 拡張論理プログラムへの優先順位付き極小限定の変換
- 論理プログラムへの翻訳による優先順位つき極小限定の計算
- Gelfondの論理プログラムへの変換方法に関する一考察