Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings.

DOI10.1007/978-3-540-73099-6zbMath1121.68006MaRDI QIDQ2455902

No author found.

Publication date: 16 October 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Theorem proving for conditional logics: CondLean and GOALDUCK

Uses Software

• PITP

This page was built for publication: Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings.