Theorem Proving with Analytic Tableaux and Related Methods: Proc./4th Intern. Workshop, TABLEAUX 95. Schloss Rheinfels, St.Goar, Germany, May 1995

В2.11, Б2.13, Б2.14.

Theorem Proving with Analytic Tableaux and Related Methods: Proc./4th Intern. Workshop, TABLEAUX 95. Schloss Rheinfels, St.Goar, Germany, May 1995Ed. by Baumgartner P., Hahnle R., Posegga J..-Berlin, Heidelberg.: Springer, 1995.-Vol. 918.-352 p.-(Lecture Notes in Artificial Intelligence).