Automated reasoning with analytic tableaux and related methods: international conference, tableaux 2005, koblenz, germany, september 14-17, 2005, proceedings
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783540289319
Date de publication :
5 sept. 2005
Dimensions :
23,3 x 15,5 x 1,9 cm
Poids :
1120 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.