Tesauro de Ciencias Matemáticas

Demostración automática de teoremas

Demostración 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
0
Metadatos
Búsqueda
  • Buscar Demostración automática de teoremas  (Wikipedia)
  • Buscar Demostración automática de teoremas  (Google búsqueda exacta)
  • Buscar Demostración automática de teoremas  (Google scholar)
  • Buscar Demostración automática de teoremas  (Google images)
  • Buscar Demostración automática de teoremas  (Google books)