Logic programming : proceedings of the 1993 International Symposium

Author(s)

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

Bibliographic Information

Logic programming : proceedings of the 1993 International Symposium

edited by Dale Miller

（Logic programming）

MIT Press, c1993

Note

"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

Description and Table of Contents

Description

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.

by "Nielsen BookData"

Details

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