Details
Title | Logic programming: proceedings of the 1997 International Symposium |
---|---|
Other creators | Maluszyñski Jan |
Organization | IEEE Xplore (Online Service); MIT Press; Association for Logic Programming; International Symposium on Logic Programming |
Imprint | Cambridge, Massachusetts London, England: MIT Press, 1997 |
Collection | Электронные книги зарубежных издательств; Общая коллекция |
Subjects | Вычислительные машины электронные персональные — Программирование; MIT Press eBooks Library |
UDC | 004.42 |
Document type | Other |
File type | Other |
Language | English |
Rights | Доступ по паролю из сети Интернет (чтение, печать) |
Record key | 6267517 |
Record create date | 12/29/2015 |
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.
Access count: 15
Last 30 days: 2