Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog. - Ledesma, Luis de (México : Alfaomega Grupo Editor, 2010)
Apéndices
COMP
Keywords: Lógica computacional; Programación lógica; Computación; libros