Título | Autor | Lugar | Edicíon |
---|---|---|---|
Foundations of logic programming | Lloyd, J. W. | Berlín | 2nd ed., 1st corr. print. (1993) |
Inteligencia artificial | Rich, Elaine | Madrid | 2a ed. (1994) |
Logic for mathematicians | Hamilton, A. G. | Cambridge | Rev. ed., repr. (2000) |
Artificial intelligence | Luger, George F. | Redwood City | 2nd ed. (1993) |
Lógica para matemáticos | Hamilton, A. G. | Madrid | (1981) |
Formal methods in artificial intelligence | Ramsay, Allan | Cambridge | 1st ed. (1988) |