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

著者

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

書誌事項

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

有川節夫, 原口誠共著

（知識工学講座, 4）

オーム社, 1988.5

タイトル読み

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

電子リソースにアクセスする 全1件

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

  1988

  NDLデジタルコレクション

  限定公開

注記

参考文献: p[211]-213

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN02198061
• ISBN:
  • 4274073866
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 217p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.64
  • NDC7 : 418.6
  • NDC7 : 549.92
  • NDLC : M159
• 件名:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)
• 親書誌ID:
  • BN00700584