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
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.
Similar content being viewed by others
Keywords
Table of contents (23 papers)
-
Research Papers
Other volumes
-
Automated Reasoning with Analytic Tableaux and Related Methods
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