(1998). Automated deduction in geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; selected papers. Springer. https://doi.org/10.1007/BFb0022715
Chicago-Zitierstil (17. Ausg.)Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; Selected Papers. Berlin [u.a.]: Springer, 1998. https://doi.org/10.1007/BFb0022715.
MLA-Zitierstil (9. Ausg.)Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 ; Selected Papers. Springer, 1998. https://doi.org/10.1007/BFb0022715.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.