Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors: TABLEAUX 2007 (2007 : Aix en Provence, France), Olivetti, Nicola., SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Automatic theorem proving
Online Access:http://dx.doi.org/10.1007/978-3-540-73099-6

Internet

http://dx.doi.org/10.1007/978-3-540-73099-6

Similar Items