×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Olivetti, Nicola (ed.), Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73098-9/pbk). Lecture Notes in Computer Science 4548. Lecture Notes in Artificial Intelligence, 60-72 (2007).
MSC:  68Q60 68Q85 68T27 68T15
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software