Lógica
Grado en
Inteligencia Artificial
Transparencias
Otros enlaces
Bibliografía
-
M. Ben-Ari (2012). Mathematical Logic for Computer
Science. Springer, London
- Luis de Ledesma (2011). Lógica para la computación.
RA-MA
- Ivan Bratko (2001). Prolog Programming for
Artificial Intelligence. Harlow, England
Maintained by Pedro Cabalar
|