La demostración y los sistemas de cálculo simbólico

Resumen basado en el de la publicación

Detalles Bibliográficos
Autores: Martín García, Lorenzo Javier, Velasco Mate, Juan Antonio
Tipo de recurso: artículo
Fecha de publicación:2002
País:España
Institución:Ministerio de Educación y Formación Profesional (MEFP)
Repositorio:Redined. Red de Información Educativa
OAI Identifier:oai:redined.educacion.gob.es:11162/13703
Acceso en línea:http://hdl.handle.net/11162/13703
http://revistasuma.es/revistas/41-noviembre-2002/la-demostracion-y-los-sistemas-de.html
Access Level:acceso abierto
Palabra clave:cálculo
demostración
aplicación informática
matemáticas
Descripción
Sumario:Resumen basado en el de la publicación