TESAURO DE MATERIAS DE SERBIULA
Toggle navigation
Inicio
Búsqueda avanzada
Sobre...
Mi cuenta
Automatic theorem proving
Inicio
Automatic theorem proving
Término
Metadatos
Automatic theorem proving
Automatic theorem proving
(Término en inglés / en)
EQ
DEMOSTRACION AUTOMATICA DE TEOREMAS
Fecha de creación
22-Ene-2015
Término aceptado
22-Ene-2015
Términos descendentes
0
Términos específicos
0
Términos alternativos
0
Términos relacionados
0
Notas
0
Metadatos
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Búsqueda