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 StyleInternational Workshop on Automated Deduction in Geometry Zurich, Switzerland), Jurgen Richter-Gebert, και Dongming Wang. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : Revised Papers. Berlin ; New York: Springer, 2001.
Παραπομπή MLAInternational Workshop on Automated Deduction in Geometry Zurich, Switzerland), Jurgen Richter-Gebert, και Dongming Wang. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : Revised Papers. Berlin ; New York: Springer, 2001.