International Workshop on Automated Deduction in Geometry Zurich, S., Richter-Gebert, J., & Wang, D. (2001). Automated deduction in geometry: Third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers. Berlin ; New York: Springer.
Chicago ZitierstilInternational Workshop on Automated Deduction in Geometry Zurich, Switzerland), Jurgen Richter-Gebert, und Dongming Wang. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : Revised Papers. Berlin ; New York: Springer, 2001.
MLA ZitierstilInternational Workshop on Automated Deduction in Geometry Zurich, Switzerland), Jurgen Richter-Gebert, und Dongming Wang. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : Revised Papers. Berlin ; New York: Springer, 2001.