Logic programming
Subtitle: proceedings of the 1993 international symposium
By: edited by Dale Miller.
Contributors: Miller, Dale.; Association for Logic Programming.; International Symposium on Logic Programming. (1993 : Vancouver, British Columbia, Canada)
Series: Logic programming
Publisher: MIT Press
Published: 1993
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 686
Subjects: Logic programming -- Congresses.
Notes: Papers presented at the 1993 International Logic Programming Symposium held in Vancouver, British Columbia, Canada, from Oct. 26-29, 1993.  Sponsored by the Association for Logic Programming, et al.

Includes bibliographical references and index.