Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Lecture Notes in Computer Science, Band 6877)

Automated

von: Pascal Schreck · Julien Narboux · Jürgen Richter-Gebert

Taschenbuch

ISBN: 978-3-642-25069-9

ISBN-10: 3-642-25069-6

Springer · 2011