Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 15 from your keywords: subject="Logic programming"
First Page Previous 1 2
cover
Logic programming :proceedings of the 1995 international symposium
Comment Share
Lloyd, J. W.Association for Logic Programming.International Symposium on Logic Programming

"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradig…

Edition
-
ISBN/ISSN
9780262291248
Collation
1 online resource (ix, 646 pages) :illustrations
Series Title
-
Call Number
-
cover
Logic programming :proceedings of the Fourteenth International Conference on …
Comment Share
International Conference on Logic ProgrammingNaish, Lee,

"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
-
cover
Logic programming :proceedings of the twelfth International Conference on Log…
Comment Share
Sterling, Leon.Association for Logic Programming.International Symposium on Logic Programming

"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
-
cover
Logic programming :proceedings of the 1997 International Symposium
Comment Share
Association for Logic Programming.International Symposium on Logic ProgrammingMa?uszy?nski, J.

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
-
cover
Programming with constraints :an introduction
Comment Share
Marriott, Kimbal,Stuckey, Peter J.,

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
-
First Page Previous 1 2