Logic programming : proceedings of the 1991 international symposium

Author(s)

• Saraswat, Vijay
• Association for Logic Programming
• International Symposium on Logic Programming
• 上田, 和紀 ウエダ, カズノリ

Bibliographic Information

Logic programming : proceedings of the 1991 international symposium

edited by Vijay Saraswat and Kazunori Ueda

（Logic programming）

MIT Press, c1991

Note

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

Includes bibliographical references and index

Description and Table of Contents

Description

October 28-31, 1991, San Diego, CaliforniaOctober 28-31, 1991, San Diego, CaliforniaPreviously called The North American Conference, the 1991 International Symposium complements the International Conference on Logic Programming held annually in June. Both are sponsored by the Association for Logic Programming.Topics covered: Foundations. Languages and Programming. Implementation. Reasoning about Programs. Applications. Logic Databases.

Table of Contents

• Foundations
• languages and programming
• implementation
• reasoning about programs
• applications
• logic databases.

by "Nielsen BookData"

Details

• NCID: BA13354189
• ISBN:
  • 0262691477
• LCCN: 91029527
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: xviii, 740 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 005.1
• Subject Headings:
  • LCSH : Logic programming -- Congresses
• Parent Bibliography ID:
  • BA07047811