Filter by
Logic programming :proceedings of the Fourteenth International Conference on …
"July 8-12, 1997, Leuven, Belgium"--Page 4 of cover."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 nonmonotonic reasoning, and logic programm…
- Edition
- -
- ISBN/ISSN
- 0262291355
- Collation
- 1 online resource (xvii, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the twelfth International Conference on Log…
"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …
- Edition
- -
- ISBN/ISSN
- 9780262291439
- Collation
- 1 online resource (xx, 834 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1997 International Symposium
Symposium held Oct. 13-16, 1997.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 c…
- Edition
- -
- ISBN/ISSN
- 9780262291323
- Collation
- 1 online resource (xvi, 425 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming languages :constraints, functions, and objects
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…
- Edition
- -
- ISBN/ISSN
- 9780262255646
- Collation
- 1 online resource (xiv, 204 pages).
- Series Title
- -
- Call Number
- -
Programming with constraints :an introduction
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programmin…
- Edition
- -
- ISBN/ISSN
- 0262279169
- Collation
- 1 online resource (488 pages).
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography