1
Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /
Other Personal Name(s): “...Richter-Gebert, Jürgen....”

Full text 
Favorites
Saved in:
2
Geometriekalküle [E-Book] /
Other Personal Name(s): “...Richter-Gebert, Jürgen....”

Full text 
Favorites
Saved in:
3
Automated Deduction in Geometry [E-Book] : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers /
Other Personal Name(s): “...Richter-Gebert, Jürgen....”

Full text 
Favorites
Saved in:

Narrow Search Results