福岡大学蔵書検索

検索結果一覧に戻る

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / Catuscia Palamidessi (ed.)
(Lecture notes in computer science ; 2916)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xii, 520 p. : ill. ; 24 cm
別書名	背表紙タイトル:Logic programming : ICLP 2003 表紙タイトル:Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 2003 : proceedings
著者標目	*International Conference on Logic Programming (ICLP) (19th : 2003 : Mumbai, India) Palamidessi, Catuscia
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索 LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
分　類	NDC:549.92 LCC:QA76.63
書誌ID	LT00678784

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of Fundamental Research in Mumbai, India, during 9-13 December, 2003."--Pref. Includes bibliographical references and index
NCID	BA65169215
巻冊次	ISBN:3540206426

目次／あらすじ