Resultados de búsqueda de autoridad
Resultados 1 a 1 de 1
Encabezamientos autorizados | Tipo de encabezamiento | Registros bibliográficos | |
---|---|---|---|
Término tópico:
Usado por:
Automatic theorem proving
Teoremas Demostración automática
Prueba automática de teoremas
Teoremas, Comprobación automática de
ver además:
Inteligencia artificial
(Encabezamiento genérico)
Teoría de la demostración
(Encabezamiento genérico)
Nuprl (Sistema para computadora)
(Encabezamiento específico)
Ontic (Sistema para computadora)
(Encabezamiento específico)
|
Detalle | Término tópico | 0 biblios |