dblp.uni-trier.de www.dagstuhl.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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Research Papers

System Descriptions

Last update Thu May 24 04:44:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page