論理プログラミングの基礎
Author(s)
Bibliographic Information
論理プログラミングの基礎
(ソフトウェアサイエンスシリーズ)
産業図書, 1987.6
- Other Title
-
Foundations of logic programming
- Title Transcription
-
ロンリ プログラミング ノ キソ
Access to Electronic Resource 1 items
-
-
論理プログラミングの基礎
1987
Limited -
論理プログラミングの基礎
Available at / 119 libraries
-
Library & Science Information Center, Osaka Prefecture University
NDC8:007.64||192||90001750783
-
Faculty of Textile Science and Technology Library, Shinshu University図
007.64:L 76:607130650270259
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[131]-136
Description and Table of Contents
Description
本書は、論理プログラミングの数学的基礎をとりあげた初の解説書であり、過去においては、個々の研究論文を広く探し求めなければ得られなかった基本となる理論的成果を、統合的かつ網羅的に整理することを目指して著わされている。必要となる知識は完備するよう配慮されており、PROLOGに関して若干親しんでいることと、大学卒業程度の基本的な数学の知識を備えていることが前提とされるのみである。
Table of Contents
- 第1章 宣言的意味論
- 第2章 手続き的意味論
- 第3章 否定
- 第4章 無限に続くプロセス
by "BOOK database"