dblp.uni-trier.de www.uni-trier.de

14. TABLEAUX 2005: Koblenz, Germany

Bernhard Beckert (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Lecture Notes in Computer Science 3702 Springer 2005, ISBN 3-540-28931-3 BibTeX

Invited Talks

Research Papers

System Descriptions

Copyright © Sat May 16 23:43:24 2009 by Michael Ley (ley@uni-trier.de)