Logic for Problem Solving
Logic for Problem Solving
Regular price
Checking stock...
Regular price
Checking stock...
World of Books
At World of Books, you’ll find millions of preloved reads at great prices, from bestsellers to hidden gems. Every book you buy saves money and helps reduce waste, so you can read more for less while giving stories a second life.
The feel-good place to buy books
- Free US shipping over $15
- Buying preloved emits 41% less CO2 than new
- Millions of affordable books
- 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 |