Logic programming : proceedings of the 1993 international symposium - Miller, Dale.; Association for Logic Programming; International Symposium on Logic Programming (1993 : Vancouver, B.C.) (Cambridge, Mass. : MIT Press, 1993)
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.
Keywords: Logic programming -- Congresses; Logic programming