R,Turner 著, "Logics for Artificial Intelligence", (人工知能のための論理学), Ellis Horwood Limited, B5判, 121p., 1984
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1986-06-15
著者
関連論文
- 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
- 適切さの論理 (<特集>非標準論理とその応用)
- PROLOG述語(呼び出し)の決定性
- Prologソースレベル・オプティマイザの試作とその性能評価
- R,Turner 著, "Logics for Artificial Intelligence", (人工知能のための論理学), Ellis Horwood Limited, B5判, 121p., 1984
- 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
- 論証支援のための証明コンストラクタ