福岡大学蔵書検索

Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Anderi Voronkov (eds.)
(Lecture notes in computer science ; 2850 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xiii, 436 p. : ill. ; 24 cm
別書名	背表紙タイトル:Logic for programming, artificial intelligence, and reasoning : LPAR 2003 表紙タイトル:Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 2003 : proceedings
著者標目	*International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (10th : 2003 : Almaty, Kazakhstan) Vardi, Moshe Y. Voronkov, A. (Andreĭ), 1959-
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索 LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
分　類	NDC:549.92 LCC:QA76.63 DC22:006.3
書誌ID	LT00673937

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	549.92/L49-1/2850	0113132210100	9783540201014				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the papers presented at the Tenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), held on September 22-26, 2003, in Almaty, Kazakhstan, ..."--Pref. Includes bibliographical references and index
巻冊次	ISBN:3540201017

目次／あらすじ