Grimson, R., Kuijpers, B., & Othman, W. (2012). Quantifier elimination for elementary geometry and elementary affine geometry. Web
Citación estilo ChicagoGrimson, Rafael, Bart Kuijpers, and Walied Othman. Quantifier Elimination for Elementary Geometry and Elementary Affine Geometry. 2012.
Cita MLAGrimson, Rafael, Bart Kuijpers, and Walied Othman. Quantifier Elimination for Elementary Geometry and Elementary Affine Geometry. 2012.
Precaución: Estas citas no son 100% exactas.