APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Jürgen Richter-Gebert, and 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 ed.) Citation

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.