APA (7th ed.) Citation

International Workshop on Automated Deduction in Geometry Shanghai, China, SpringerLink (Online service), Sturm, T., & Zengler, C. (2011). Automated deduction in geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers. Springer. https://doi.org/10.1007/978-3-642-21046-4

Chicago Style (17th ed.) Citation

International Workshop on Automated Deduction in Geometry Shanghai, China, SpringerLink (Online service), Thomas Sturm, and Christoph Zengler. Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : Revised Papers. Berlin ; New York: Springer, 2011. https://doi.org/10.1007/978-3-642-21046-4.

MLA (9th ed.) Citation

International Workshop on Automated Deduction in Geometry Shanghai, China, et al. Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : Revised Papers. Springer, 2011. https://doi.org/10.1007/978-3-642-21046-4.