Lecture Notes in Computer Science
Volume 4548, 2007, DOI: 10.1007/978-3-540-73099-6

Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Nicola Olivetti

About This Book

Title
Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Editor
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2007
DOI
10.1007/978-3-540-73099-6
ISBN
978-3-540-73098-9
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Monday, September 17, 2007

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002