Logic programming
Subtitle: proceedings of the fourth international conference
By: edited by Jean-Louis Lassez.
Contributors: Lassez, Jean-Louis.; International Conference on Logic Programming. (4th : 1987 : University of Melbourne)
Series: MIT Press series in logic programming
Publisher: MIT Press
Published: 1987
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 1056
Subjects: Logic programming -- Congresses.
Notes: Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987.

Includes bibliographies and index.