Introduccion a la logica computacional pdf

Es un libro excelente, que explica la aplicación de las técnicas de la lógica computacional a pro-blemas del mundo real. Lo recomendamos encarecidamente a los alumnos que quieran profundizar en los temas que tratamos en este texto y conocer otras técnicas nuevas.

1