 |
|
|
Item Details
| Title:
|
ADVANCES IN LOGIC PROGRAMMING AND AUTOMATED REASONING
|
| Volume: |
v. 1 |
| By: |
Ralph W. Wilkerson (Editor) |
| Format: |
Hardback |
| List price:
|
£23.95 |
| Our price: |
£21.56 |
| Discount: |
|
| You save:
|
£2.39 |
|
|
|
|
|
| ISBN 10: |
0893916838 |
| ISBN 13: |
9780893916831 |
| Availability: |
Reprinting. This item may be subject to delays or cancellation.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
INTELLECT BOOKS |
| Pub. date: |
5 January, 1992 |
| Series: |
Advances in logic programming & automated reasoning 1 |
| Pages: |
420 |
| Synopsis: |
This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification. |
| Illustrations: |
indexes |
| Publication: |
UK |
| Imprint: |
Intellect Books |
| 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.
|
|
|
|