Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers (Lecture Notes in Computer Science, Band 6301)
von:
Thomas Sturm
· Christoph Zengler
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-21045-7
ISBN-10: 3-642-21045-7
Springer
· 2011