Richter-Gebert, J., & Wang, D. (2001). Automated deduction in geometry: Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers. Berlin ; New York: Springer.
Chicago stil citiranjaRichter-Gebert, Jürgen, and Dongming Wang. Automated deduction in geometry: Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers. Berlin ; New York: Springer, 2001.
MLA stil citiranjaRichter-Gebert, Jürgen, and Dongming Wang. Automated deduction in geometry: Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers. Berlin ; New York: Springer, 2001.