SpringerLink (Online service), Richter-Gebert, J., & Wang, D. (2001). Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (1st ed. 2001.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-45410-1
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Jürgen Richter-Gebert, και Dongming Wang. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2001. https://doi.org/10.1007/3-540-45410-1.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. 1st ed. 2001. Springer Berlin Heidelberg : Imprint: Springer, 2001. https://doi.org/10.1007/3-540-45410-1.
