出版社内容情報
【解説】
論理プログラミングを対象としたモデルの推論という観点から，プログラミングの自動合成，自動デバッギング，知識の獲得といった実用的な応用を可能にした画期的論文の全訳。
【目次】
目次
問題の定義
モデル推論問題の計算量
決定的実践による仮説の反駁
反駁された仮説の精密化
一般的な漸増的モデル推論アルゴリズム
東京都公安委員会 古物商許可番号 304366100901
- このウェブサイトの内容の一部または全部を無断で複製、転載することを禁じます。当社店舗一覧等を掲載されるサイトにおかれましては、最新の情報を当ウェブサイトにてご参照のうえ常時メンテナンスください。 Copyright © KINOKUNIYA COMPANY LTD.