Lógica, Programación e Inteligencia Artificial
Robert Kowalski.
1ª ed.
Madrid : Díaz de Santos, 1986.
412 págs. ; 22 cm.
ISBN: 8486251435
Traducido del idioma inglés por A. Calle.
Contiene Referencias de la edición original además de otras a la edición española, como así también un glosario español/inglés y otro inglés/español.
Título original: "Logic for Problem Solving".