Logic programming : proceedings of the 1997 International Symposium /
The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new res...
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
©1997.
|
| Series: | Logic programming,
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.Logic Programming series, Research Reports and Notes. |
|---|---|
| Item Description: | Symposium held Oct. 13-16, 1997. |
| Physical Description: | 1 online resource (xvi, 425 pages) : illustrations. |
| ISBN: | 9780262291323 0262291320 |
| ISSN: | 1061-0464 |
| DOI: | 10.7551/mitpress/4283.001.0001 |