Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, Tableaux 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Couverture souple

 
9783642221187: Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, Tableaux 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Couverture souple
ISBN 10 : 3642221181 ISBN 13 : 9783642221187
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011

Synopsis

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2011
Langue
anglais
ISBN 10 
3642221181
ISBN 13 
9783642221187
Reliure
Broché
Nombre de pages
287
Éditeur
Brünnler Kai, Metcalfe George
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783642221200: Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Edition présentée

ISBN 10 :  3642221203 ISBN 13 :  9783642221200
Editeur : Springer, 2011
Couverture souple