Image for Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings - 3702 (2005 edition.)

Beckert, Bernhard(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

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.

Read More
Special order line: only available to educational & business accounts. Sign In
£44.99
Product Details
Springer
3540318224 / 9783540318224
eBook (Adobe Pdf)
05/09/2005
English
905 pages
Copy: 10%; print: 10%