Automated Reasoning with Analytic Tableaux and Related Methods: Proc./International Conference, TABLEAUX 2005. Koblenz, Germany, September 2005

В2.1, Б2.1.

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./International Conference, TABLEAUX 2005. Koblenz, Germany, September 2005Ed. by Beckert B..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3702.-343 p.-(Lecture Notes in Artificial Intelligence).