Automated Deduction in Geometry
Publisher: Springer
Published: Sep 17, 2011
Format: paperback
Number of pages: 236
ISBN-13: 9783642210471