福岡大学蔵書検索

検索結果一覧に戻る

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.)
(Lecture notes in computer science ; 2381 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2002
形態	x, 339 p. : ill. ; 24 cm
別書名	表紙タイトル:Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July/August 2002 : proceedings
著者標目	*International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) (2002 : Copenhagen, Denmark) Egly, Uwe Fermüller, Christian G.
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00646312

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the research papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 - August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002)."--Foreword Includes bibliographical references and index
NCID	BA58064782
巻冊次	ISBN:3540439293

目次／あらすじ