Logic Programming: The 12th International Conference - Logic Programming (Paperback)
  • Logic Programming: The 12th International Conference - Logic Programming (Paperback)
zoom

Logic Programming: The 12th International Conference - Logic Programming (Paperback)

(editor)
£79.95
Paperback 854 Pages / Published: 16/06/1995
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. 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 unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes

Publisher: MIT Press Ltd
ISBN: 9780262691772
Number of pages: 854
Weight: 1588 g
Dimensions: 226 x 178 x 53 mm

You may also be interested in...

Code
Added to basket
£21.99
Paperback
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
C Programming in Easy Steps
Added to basket
Building Android Apps in Easy Steps
Added to basket
Python in Easy Steps
Added to basket
Coding for Beginners in easy steps
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
JavaScript in Easy Steps
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
Eclipse
Added to basket
£35.99
Paperback
Automate The Boring Stuff With Python
Added to basket
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
How to Build a Billion Dollar App
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.