Foundations of equational logic programming
By: Steffen Hölldobler.
Series: Lecture notes in computer science ;; 353.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 353.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 250
Subjects: Logic programming.
Notes: Includes bibliographical references (p. 231-241).