Editors:
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)
Conference series link(s): TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conference proceedings info: TABLEAUX 2003.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (23 papers)
-
Front Matter
-
Research Papers
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
-
Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma, Italia
Marta Cialdea Mayer
-
Dipartimento di Informatica e Sistemistica (DIS), Sapienza, University of Rome “Sapienza”, Roma
Fiora Pirri
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