Logic for Problem Solving
Logic for Problem Solving
Regular price
Checking stock...
Regular price
Checking stock...
The feel-good place to buy books
- Free UK delivery over £5
- 10% off preloved books when you join +Plus
- Buying preloved emits 46% less CO2 than new
- Give your books a new home - sell them back to us!
Kowalski, Robert: - Robert Kowalski is Emeritus Professor and Research Investigator in the Department of Computing at Imperial College London. He recently received the IJCAI 2011 Award for Research Excellence for his contributions to logic for knowledge representation and problem solving, including his pioneering work on automated theorem proving and logic programming.
| SKU | Unavailable |
| ISBN 13 | 9780444003652 |
| ISBN 10 | 0444003657 |
| Title | Logic for Problem Solving |
| Author | Robert A Kowalski |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Elsevier Science & Technology |
| Year published | 1979-11-01 |
| Number of pages | 302 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |