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

16. TABLEAUX 2007: Aix en Provence, France

Nicola Olivetti (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Lecture Notes in Computer Science 4548 Springer 2007, ISBN 978-3-540-73098-9 BibTeX

Invited Talks

Research Papers

System Descriptions

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