Logic for Problem Solving
Logic for Problem Solving
Regular price
Checking stock...
Regular price
Checking stock...
Proud to be B-Corp
Our business meets the highest standards of verified social and environmental performance, public transparency and legal accountability to balance profit and purpose. In short, we care about people and the planet.
The feel-good place to buy books
- Free delivery in the UK
- Supporting authors with AuthorSHARE
- 100% recyclable packaging
- B Corp - kinder to people and planet
- Buy-back with World of Books - Sell Your Books
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 | Non disponible |
| ISBN 13 | 9780444003652 |
| ISBN 10 | 0444003657 |
| Titre | Logic for Problem Solving |
| Auteur | Robert A Kowalski |
| État | Non disponible |
| Type de reliure | Hardback |
| Éditeur | Elsevier Science & Technology |
| Année de publication | 1979-11-01 |
| Nombre de pages | 302 |
| Note de couverture | La photo du livre est présentée à titre d'illustration uniquement. La reliure, la couverture ou l'édition réelle peuvent varier. |
| Note | Non disponible |