論理プログラミングの基礎
著者
書誌事項
論理プログラミングの基礎
(ソフトウェアサイエンスシリーズ)
産業図書, 1987.6
- タイトル別名
-
Foundations of logic programming
- タイトル読み
-
ロンリ プログラミング ノ キソ
電子リソースにアクセスする 全1件
-
-
論理プログラミングの基礎
1987
限定公開 -
論理プログラミングの基礎
大学図書館所蔵 全119件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[131]-136
内容説明・目次
内容説明
本書は、論理プログラミングの数学的基礎をとりあげた初の解説書であり、過去においては、個々の研究論文を広く探し求めなければ得られなかった基本となる理論的成果を、統合的かつ網羅的に整理することを目指して著わされている。必要となる知識は完備するよう配慮されており、PROLOGに関して若干親しんでいることと、大学卒業程度の基本的な数学の知識を備えていることが前提とされるのみである。
目次
- 第1章 宣言的意味論
- 第2章 手続き的意味論
- 第3章 否定
- 第4章 無限に続くプロセス
「BOOKデータベース」 より