About Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)- 2005, September 14-17, Koblenz, Germany. Theoretical foundations, implementation, development and applications of the mechanization of reasoning with tableaux and related methods.
