商品詳細 | Knowledge Worker

知識の帰納的推論(知識情報処理シリ－ズ)　

有川　節夫　翻訳
淵　一博　監修

在庫状況お取り寄せ	お届け予定日 1週間	数量冊
価格 \1,870（税込）

発行年月	1986年07月
出版社／提供元	共立出版
言語	日本語
媒体	冊子
ページ数／巻数	１０６ｐ
大きさ	22
ジャンル	和書
ISBN	9784320022638
商品コード	0194126368
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0194126368

内容

論理プログラミングを対象としたモデルの推論という観点から、プログラミングの自動合成、自動デバッギング、知識の獲得といった実用的な応用を可能にした画期的論文の全訳。

第1章序論第2章問題の定義第3章モデル推論問題の計算量第4章決定的実験による仮設の反駁第5章反駁された仮設の精密化第6章一般的な漸増的モデル推論アルゴリズム第7章結論

カート

カートに商品は入っていません。