×

zbMATH — the first resource for mathematics

Found 24 Documents (Results 1–3)

Galmiche, Didier (ed.) et al., Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40536-5/pbk). Lecture Notes in Computer Science 8123. Lecture Notes in Artificial Intelligence, 250-256 (2013).
MSC:  68T15 08-04 08B20 08C15 68W30
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software