述語論理と論理プログラミング
Author(s)
Bibliographic Information
述語論理と論理プログラミング
(知識工学講座, 4)
オーム社, 1988.5
- Title Transcription
-
ジュツゴ ロンリ ト ロンリ プログラミング
Available at / 192 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.08:C-48:4880020970
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[211]-213
Description and Table of Contents
Description
知識工学の展開に重要な役割を果たしている命題論理・述語論理の基礎概念・基礎理論から論理プログラミング手法をAl関係者の必須知識として解説!
Table of Contents
- 1章 命題論理
- 2章 述語論理
- 3章 導出原理
- 4章 論理プログラムとインタプリタ
- 5章 論理プログラムのモデル理論
- 6章 手続き的意味論
- 7章 否定の導出
- 8章 拡張単一化と等式論理
by "BOOK database"