Tesauro de Ciencias Matemáticas

Prueba automática de teoremas

Nota de alcance
NA:Úsese además como subencabezamiento bajo distintas materias y como aclaración con nombres de los distintos programas. Ej.: GAT (Programa de ordenador)

Prueba automática de teoremas

Fecha de creación
21-May-2010
Término aceptado
21-May-2010
Términos descendentes
0
Términos específicos
0
Términos alternativos
0
Términos relacionados
0
Notas
1
Metadatos
Búsqueda
  • Buscar Prueba automática de teoremas  (Wikipedia)
  • Buscar Prueba automática de teoremas  (Google búsqueda exacta)
  • Buscar Prueba automática de teoremas  (Google scholar)
  • Buscar Prueba automática de teoremas  (Google images)
  • Buscar Prueba automática de teoremas  (Google books)