Resultados de búsqueda de autoridad

Resultados 1 a 1 de 1

Resultados de búsqueda de autoridad
Encabezamientos autorizados		Tipo de encabezamiento	Registros bibliográficos
Término tópico: Demostración automática de teoremas 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