Automated Deduction in Geometry
Subtitle: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Publisher: Springer
Published: 2003
Language: eng
ISBN-13: 9783540479970