Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert.
Narboux, Julien.
Richter-Gebert, Jürgen. / Schreck, Pascal.
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
online resource
englisch
9783642250705
Lecture notes in computer science ; 6877
Full Text
Description not available.