Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming
Author(s)
Bibliographic Information
Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming
(Logic programming)
MIT Press, c1997
Available at / 15 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Leuven||1997.797034131
-
No Libraries matched.
- Remove all filters.
Note
"Papers presented at ICL'97, the Fourteenth International Conference on Logic Programming, held in Leuven, Belgium, July 8-11, 1997"--Pref
Includes bibliographical references and index
Description and Table of Contents
Description
Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet.8-12 July 1997, Leuven, Belgium The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logic programming and the Internet.
by "Nielsen BookData"