Showing 1 - 1 results of 1 for search 'TABLEAUX 2007 (2007 : Aix en Provence, France)', query time: 0.02s
Refine Results
-
1
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Procee... by TABLEAUX 2007 (2007 : Aix en Provence, France), Olivetti, Nicola., SpringerLink (Online service)
Published 2007