Principios de demostración automática
por Donald W. Loveland · 1978
Sinopsis
Este libro detalla los fundamentos teóricos y las técnicas para la demostración automatizada de teoremas, un campo que busca máquinas capaces de inferir lógicamente y probar la validez de enunciados.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda