論理プログラミングの基礎

Author(s)

• Lloyd, J. W. (John Wylie)
• 佐藤, 雅彦 サトウ, マサヒコ
• 森下, 真一 モリシタ, シンイチ

Bibliographic Information

論理プログラミングの基礎

J.W. ロイド著 ; 佐藤雅彦, 森下真一訳

（ソフトウェアサイエンスシリーズ）

産業図書, 1987.6

Other Title

Foundations of logic programming

Title Transcription

ロンリ プログラミング ノ キソ

Access to Electronic Resource 1 items

• 論理プログラミングの基礎

  1987

  NDL Digital Collections

  Limited

Note

参考文献: p[131]-136

Description and Table of Contents

Description

本書は、論理プログラミングの数学的基礎をとりあげた初の解説書であり、過去においては、個々の研究論文を広く探し求めなければ得られなかった基本となる理論的成果を、統合的かつ網羅的に整理することを目指して著わされている。必要となる知識は完備するよう配慮されており、ＰＲＯＬＯＧに関して若干親しんでいることと、大学卒業程度の基本的な数学の知識を備えていることが前提とされるのみである。

Table of Contents

• 第１章　宣言的意味論
• 第２章　手続き的意味論
• 第３章　否定
• 第４章　無限に続くプロセス

by "BOOK database"

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