International Conference on Analytic Tableaux and Related Methods,
Automated reasoning with analytic tableaux and related methods : proceedings / International Conference... ; ed. Harrie De Swart
Automated reasoning with analytic tableaux and related methods : proceedings / International Conference... ; ed. Harrie De Swart
. - Berlin : Springer, cop. 1998
. - X, 324 p. : il. 24 cm
. - (Lecture Notes in Computer Science., Lecture Notes in Artificial Intelligence; 1397))
3-540-64406-7 (Brochado)
519.6
681.3