福岡大学蔵書検索

検索結果一覧に戻る

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings / Marta Cialdea Mayer, Fiora Pirri (eds.)
(Lecture notes in computer science ; 2796 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	x, 270 p. : ill. ; 24 cm
別書名	背表紙タイトル:Automated reasoning with analytic tableaux and related methods : TABLEAUX 2003 表紙タイトル:Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : proceedings
著者標目	*International Conference on Analytic Tableaux and Related Methods (TABLEAUX) (2003 : Rome, Italy) Cialdea Mayer, Marta, 1956- Pirri, Fiora, Dr
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
分　類	NDC:549.92 LCC:QA76.9.A96 DC22:006.3
書誌ID	LT00673923

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2003) held on September 9-12, 2003 in Rome, Italy."--Foreword Includes bibliographical references and index
巻冊次	ISBN:3540407871

目次／あらすじ