La demostración automática de teoremas en Geometría elemental y su repercusión didáctica

• Autores: Isabel Miranda Díaz
• Localización: Enseñanza de las ciencias: revista de investigación y experiencias didácticas, ISSN-e 2174-6486, ISSN 0212-4521, Vol. 6, Nº 1, 1988, págs. 61-66
• Idioma: español
• Enlaces
  • Texto completo