述語論理と論理プログラミング
著者
書誌事項
述語論理と論理プログラミング
（知識工学講座, 4）
オーム社, 1988.5
- タイトル読み
-
ジュツゴ ロンリ ト ロンリ プログラミング
大学図書館所蔵 件 / 全192件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[211]-213
内容説明・目次
内容説明
知識工学の展開に重要な役割を果たしている命題論理・述語論理の基礎概念・基礎理論から論理プログラミング手法をＡｌ関係者の必須知識として解説！
目次
- １章 命題論理
- ２章 述語論理
- ３章 導出原理
- ４章 論理プログラムとインタプリタ
- ５章 論理プログラムのモデル理論
- ６章 手続き的意味論
- ７章 否定の導出
- ８章 拡張単一化と等式論理
「BOOKデータベース」 より
