The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)

• Autores: Carlos Beltrán Álvarez, G. Dalzotto, Tomás Jesús Recio Muñiz
• Localización: Automated deduction in geometry: extended abstracts, 2006, ISBN 84-611-2355-7, págs. 1-14
• Idioma: inglés
• Texto completo no disponible (Saber más ...)