資料詳細

【図書】 論理プログラミングの基礎

タイトル	論理プログラミングの基礎
シリーズ名	ソフトウェアサイエンスシリーズ
著者名等	Ｊ．Ｗ．ロイド／著, 佐藤雅彦，森下真一／訳, 　 ,
出版	産業図書１９８７．６
大きさ等	２２ｃｍ１４９ｐ
分類	007.64
件名	プログラミング（電子計算機）
注記	Ｆｏｕｎｄａｔｉｏｎｓ　ｏｆ　ｌｏｇｉｃ　ｐｒｏｇｒａｍｍｉｎｇ．／の翻訳
内容	参考文献：ｐ１３１～１３６
要旨	本書は、論理プログラミングの数学的基礎をとりあげた初の解説書であり、過去においては、個々の研究論文を広く探し求めなければ得られなかった基本となる理論的成果を、統合的かつ網羅的に整理することを目指して著わされている。必要となる知識は完備するよう配慮されており、ＰＲＯＬＯＧに関して若干親しんでいることと、大学卒業程度の基本的な数学の知識を備えていることが前提とされるのみである。
目次	第１章　宣言的意味論；第２章　手続き的意味論；第３章　否定；第４章　無限に続くプロセス
ISBN(13)、ISBN	4-7828-5003-4
書誌番号	1190256957
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190256957

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/2492	一般書	利用可	-	0003545377