Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proceedings - Lecture Notes in Computer Science

Name: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proceedings - Lecture Notes in Computer Science
Price: 8520 JPY
Availability: OutOfStock

価格

¥ 8.520

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月5日 - 年11月17日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proceedings - Lecture Notes in Computer Science

Constitutes the proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. This book focuses on various aspects of the mechanization of reasoning with tableaux and related methods. It emphasises on applications in areas such as hardware and software verification, and knowledge engineering.

346 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2005年9月5日
ISBN13	9783540289319
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	346
寸法	155 × 233 × 19 mm · 546 g
言語	ドイツ語
編集者	Beckert, Bernhard