
por Roberto C. Miranda · 2005
Ver sugerenciasSinopsis
Este manual ofrece una introducción detallada a la lógica proposicional y de primer orden, así como a las estrategias de razonamiento automático, enfocándose en su aplicación en inteligencia artificial y programación lógica.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.