Logic programming
Subtitle: proceedings of the fifth international conference and symposium
By: edited by Robert A. Kowalski and Kenneth A. Bowen.
Contributors: Bowen, Kenneth A.; Kowalski, Robert.; Association for Logic Programming.; IEEE Computer Society.; International Conference on Logic Programming. (5th : 1988 : University of Washington, Seattle); Symposium on Logic Programming. (5th : 1988 : University of Washington, Seattle)
Series: MIT Press series in logic programming
Publisher: MIT Press
Published: 1988
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 1690
Subjects: Logic programming -- Congresses.
Notes: Papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming, sponsored by the Association for Logic Programming and the Computer Society of IEEE, held Aug. 15-19, 1988 at the University of Washington, Seattle.

Includes bibliographies and indexes.