出版社内容情報
【解説】
論理プログラミングを対象としたモデルの推論という観点から，プログラミングの自動合成，自動デバッギング，知識の獲得といった実用的な応用を可能にした画期的論文の全訳。
【目次】
目次
問題の定義
モデル推論問題の計算量
決定的実践による仮説の反駁
反駁された仮説の精密化
一般的な漸増的モデル推論アルゴリズム
-
- 電子書籍
- 落ちこぼれ子竜の縁談 閣下に溺愛される…
-
- 電子書籍
- ねこまんが なにぬ猫んち。 vol.1
-
- 電子書籍
- うまれたよ！ ヘビ
-
- 電子書籍
- 異世界でスキルを解体したらチートな嫁が…
-
- 電子書籍
- 歌うたいの黒兎 5 マーガレットコミッ…
