Logic programming
Subtitle: proceedings of the seventh international conference
By: edited by David H.D. Warren and Peter Szeredi.
Contributors: Szeredi, Peter, 1949-; Warren, David H. D.; International Conference on Logic Programming. (1990 : Jerusalem)
Series: Logic programming
Publisher: MIT Press
Published: 1990
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 788
Subjects: Logic programming -- Congresses.
Notes: Papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18-20, 1990.

Includes bibliographical references and index.