Home > Artificial Intelligence > Conferences and Events > Past Conferences and Events > Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
http://tableaux2005.uni-koblenz.de/2005, September 14-17, Koblenz, Germany. Theoretical foundations, implementation, development and applications of the mechanization of reasoning with tableaux and related methods.
Submitted in section: Artificial Intelligence: Conferences and Events: Past Conferences and Events: Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)