estadounidense
Donald W. Loveland es un autor y científico conocido por su trabajo en el campo de la inteligencia artificial y la lógica. Es relevante por sus contribuciones a la teoría de la computación y el desarrollo de sistemas lógicos.
1978·no ficcion
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.
Aparecen junto a Donald W. Loveland en búsquedas del archivo
