Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2796)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
- TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conference proceedings info: TABLEAUX 2003.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (23 papers)
-
Research Papers
Other volumes
-
Automated Reasoning with Analytic Tableaux and Related Methods
Keywords
About this book
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.
The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.
Editors and Affiliations
Bibliographic Information
Book Title: Automated Reasoning with Analytic Tableaux and Related Methods
Book Subtitle: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Editors: Marta Cialdea Mayer, Fiora Pirri
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b12030
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-40787-4Published: 03 September 2003
eBook ISBN: 978-3-540-45206-5Published: 24 October 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 270
Topics: Artificial Intelligence, Number Theory, Computer Science, general, Programming Techniques, Software Engineering, Mathematical Logic and Formal Languages