Logic programming : proceedings of the 1991 international symposium

著者

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

書誌事項

Logic programming : proceedings of the 1991 international symposium

edited by Vijay Saraswat and Kazunori Ueda

（Logic programming）

MIT Press, c1991

注記

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

内容説明・目次

内容説明

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.

目次

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

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA13354189
• ISBN:
  • 0262691477
• LCCN: 91029527
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: xviii, 740 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.63
  • DC20 : 005.1
• 件名:
  • LCSH : Logic programming -- Congresses
• 親書誌ID:
  • BA07047811