Demostración Interactiva De Teoremas
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Demostración_interactiva_de_teoremas
Back to Demostración Interactiva De Teoremas
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
Categoría:Aprendizaje_automático
dbpedia-latam:
Categoría:Demostradores_de_teoremas
dbpedia-latam:
Ciencias_de_la_computación
dbpedia-latam:
Coq
dbpedia-latam:
Demostración_automática_de_teoremas
dbpedia-latam:
Demostrador_de_teoremas_Isabelle
dbpedia-latam:
Demostradores_de_teoremas_HOL
dbpedia-latam:
Interfaz_de_usuario
dbpedia-latam:
Lógica_matemática
dbpedia-latam:
MINLOG
dbpedia-latam:
Ordenador
dbpedia-latam:
PhoX
dbpedia-latam:
Prototipo_de_sistema_de_verificación
dbpedia-latam:
Prueba_formal