Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27,200
Richter-Gebert, Jürgen / Wang, /
Erschienen am
01.11.2007, Auflage: 1. Auflage
Zusätzliche Informationen
Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.