Logic programming : proceedings of the 1993 International Symposium

著者

• Miller, Dale
• Association for Logic Programming
• International Symposium on Logic Programming

書誌事項

Logic programming : proceedings of the 1993 International Symposium

edited by Dale Miller

（Logic programming）

MIT Press, c1993

注記

"This volume contains the Proceedings of the 1993 International Logic Plogramming Symposium, held in Vancouver, British Columbia, Canada, 26-29 October 1993."--Pref.

Includes bibliographical references and index

内容説明・目次

内容説明

Logic programming continues to develop by broadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science.The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by broadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science.Topics include: Algorithmic Analysis. Constraints. Environmental Support. Natural Language. Programming Methodologies. Artificial Intelligence. Concurrency and Parallelism. Logical Extensions. Meta and Higher-Order Programming. Semantic Analysis. Compilation Techniques. Deductive Databases. Implementations and Architectures. Proof Theory. Programming Language Design.

「Nielsen BookData」 より

詳細情報

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