CURRENTLY SOLD OUT

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-a-Mousson, France, May 13 - 16, 1997 Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1997)