2005 | Book
Automated Reasoning with Analytic Tableaux and Related Methods
14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Editor: Bernhard Beckert
Publisher: Springer Berlin Heidelberg
Book Series : Lecture Notes in Computer Science