Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 2002, Copenhagen, Denmark, July-August 2002

В2.11.

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 2002, Copenhagen, Denmark, July-August 2002Ed. by Egly U., Fermuller C. G..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2381.-341 p.-(Lecture Notes in Artificial Intelligence).