福岡大学蔵書検索

検索結果一覧に戻る

Automated deduction -- CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 : proceedings / Franz Baader (ed.)
(Lecture notes in computer science ; 2741 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xii, 502 p. : ill. ; 24 cm
別書名	背表紙タイトル:Automated deduction -- CADE-19 表紙タイトル:Automated deduction -- CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July/August 2003 : proceedings
著者標目	*International Conference on Automated Deduction (CADE) (19th : 2003 : Miami Beach, FL, USA) Baader, Franz
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	NDC:549.92 LCC:QA76.9.A96
書誌ID	LT00671389

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA."--Pref. Includes bibliographical references and index
NCID	BA63268759
巻冊次	ISBN:3540405593

目次／あらすじ