Automated Deduction in Geometry : 8th International Workshop, Adg 2010, Munich, Germany, July 22-24, 2010, Revised Papers
ISBN: 9783642250705
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.