述語論理と論理プログラミング

Author(s)

• 有川, 節夫 アリカワ, セツオ
• 原口, 誠 ハラグチ, マコト

Bibliographic Information

述語論理と論理プログラミング

有川節夫, 原口誠共著

（知識工学講座, 4）

オーム社, 1988.5

Title Transcription

ジュツゴ ロンリ ト ロンリ プログラミング

Note

参考文献: p[211]-213

Description and Table of Contents

Description

知識工学の展開に重要な役割を果たしている命題論理・述語論理の基礎概念・基礎理論から論理プログラミング手法をＡｌ関係者の必須知識として解説！

Table of Contents

• １章　命題論理
• ２章　述語論理
• ３章　導出原理
• ４章　論理プログラムとインタプリタ
• ５章　論理プログラムのモデル理論
• ６章　手続き的意味論
• ７章　否定の導出
• ８章　拡張単一化と等式論理

by "BOOK database"

• NCID: BN02198061
• ISBN:
  • 4274073866
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 217p
• Size: 22cm
• Classification:
  • NDC8 : 007.64
  • NDC7 : 418.6
  • NDC7 : 549.92
  • NDLC : M159
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)
• Parent Bibliography ID:
  • BN00700584