 |
|
|
Item Details
| Title:
|
LOGIC PROGRAMMING: THE 12TH INTERNATIONAL CONFERENCE
PROCEEDINGS OF THE TWELFTH INTERNATONAL CONFERENCE ON LOGIC PROGRAMMING JUNE 13-16 1995 TOKYO, JAPAN |
| By: |
Leon Sterling (Editor) |
| Format: |
Paperback |
| List price:
|
£74.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0262691779 |
| ISBN 13: |
9780262691772 |
| Publisher: |
MIT PRESS LTD |
| Pub. date: |
16 June, 1995 |
| Series: |
Logic Programming |
| Pages: |
854 |
| Synopsis: |
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 |
| Illustrations: |
Illustrations |
| Publication: |
US |
| Imprint: |
MIT Press |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|