Logic programming : proceedings of the 1999 International Conference on Logic Programming
Author(s)
Bibliographic Information
Logic programming : proceedings of the 1999 International Conference on Logic Programming
(Logic programming)
MIT Press, c1999
Available at / 18 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Las Cruces||1999.1199074785
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.
by "Nielsen BookData"