Automated reasoning with analytic tableaux and related methods：international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings

Corporate Authors: TABLEAUX 2007 (2007 Aix en Provence, France); SpringerLink (Online service)
Group Author: Olivetti Nicola.
Published: Springer,
Publication Dates: c2007.