Estantes Virtuales
TítuloAutorLugarEdicí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)