CURRENTLY SOLD OUT

Automated Deduction in Geometry: Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1999)