福岡大学蔵書検索

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.)
(Lecture notes in computer science ; 1397 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1998
形態	x, 324 p. : ill. ; 24 cm
著者標目	*TABLEAUX (1998 : Oisterwijk, Netherlands) Swart, Harrie de
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索 LCSH:Artificial intelligence -- Congresses 全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00544389

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the papers presented at TABLEAUX '98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, The Netherlands."--Pref. Includes bibliographical references and index
NCID	BA35779272
巻冊次	ISBN:3540644067

目次／あらすじ