Logic programming : proceedings of the 1993 International Symposium

＜図書＞
Logic programming : proceedings of the 1993 International Symposium

責任表示	edited by Dale Miller
シリーズ	Logic programming
データ種別	図書
出版情報	Cambridge, Mass. : MIT Press , c1993
本文言語	英語
大きさ	xxii, 686 p. : ill. ; 23 cm
概要	The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by ...roadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science. Topics include: Algorithmic Analysis. Constraints. Environmental Support. Natural Language. Programming Methodologies. Artificial Intelligence. Concurrency and Parallelism. Logical Extensions. Meta and Higher-Order Programming. Semantic Analysis. Compilation Techniques. Deductive Databases. Implementations and Architectures. Proof Theory. Programming Language Design. 続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図自動書庫	007.64/I 57	1993		031212006506023		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	"This volume contains the Proceedings of the 1993 International Logic Plogramming Symposium, held in Vancouver, British Columbia, Canada, 26-29 October 1993."--Pref. Includes bibliographical references and index
著者標目	Miller, Dale Association for Logic Programming *International Symposium on Logic Programming (10th : 1993 : Vancouver, Canada)
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索
分　類	LCC:QA76.63 DC20:005.1
書誌ID	1001143379
ISBN	0262631520
NCID	BA21348909
巻冊次	ISBN:0262631520
登録日	2009.09.17
更新日	2009.09.17