Automated Reasoning With Analytic Tableaux And Related Methods
International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Editor: BernhardBeckert
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2005
Paperback, 356 pages
Size: 235x155 mm
ISBN: 9783540289319
ISBN-10: 3540289313
Automated Reasoning With Analytic Tableaux And Related Methods
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.

