Logic programming
Subtitle: proceedings of the 1991 international symposium
By: edited by Vijay Saraswat and Kazunori Ueda.
Contributors: Saraswat, Vijay.; Ueda, Kazunori.; Association for Logic Programming.; International Symposium on Logic Programming (1991 : San Diego, Calif.)
Series: Logic programming
Publisher: MIT Press
Published: 1991
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 740
Subjects: Logic programming -- Congresses.
Notes: Includes bibliographical references and index.
Papers presented at the 1991 International Logic Programming Symposium held in San Diego, U.S.A., from Oct. 28 to Nov. 1, 1991; sponsored by the Association for Logic Programming, in cooperation with the ACM, IEEE, and AAAI.