Automated Deduction in Geometry : 9th International Workshop, Adg 2012, Edinburgh, Uk, September 17-19, 2012. Revised Selected Papers
ISBN: 9783642406720
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.