福岡大学蔵書検索

検索結果一覧に戻る

Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.)
(Lecture notes in computer science ; 2250 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2001
形態	xv, 738 p. : ill. ; 24 cm
著者標目	*International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (8th : 2001 : Havana, Cuba) Nieuwenhuis, Robert Voronkov, A. (Andreĭ), 1959-
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索 LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00627944

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/2250	0112443860100	9783540429579				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the papers presented at the Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics."--Pref. Includes bibliographical references and index
NCID	BA54606453
巻冊次	ISBN:3540429573

目次／あらすじ