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