Reasoning with logic programming
By: José Júlio Alferes, Luís Moniz Pereira.
Contributors: Pereira, Luís Moniz.
Series: Lecture notes in computer science ;; 1111.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 1111.; Lecture notes in computer science.
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 326
Subjects: Logic programming; Reasoning
Notes: Includes bibliographical references (p. [271]-281).
Errata slip inserted.