Automated Deduction in Geometry
Subtitle: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540454106
Subjects: Geometry, data processing; Automatic theorem proving; Logic, symbolic and mathematical