Quantifier elimination for elementary geometry and elementary affine geometry

• Autores: Rafael Grimson, Bart Kuijpers, Walied Othman
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 58, Nº. 6, 2012, págs. 399-416
• Idioma: inglés
• Texto completo no disponible (Saber más ...)