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)
Publisher: MIT Press
Published: 1987
Place of publication: Cambridge, Mass
Language: eng
Subjects: Logic programming -- Congresses
Genres: Congresses.
Notes: Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987.

Includes bibliographies and index.