Handbuch der praktischen Logik und automatisierten Argumentation von John Harrison (Englisch) H
223,47 €
The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning.
Jetzt bei Ebay:
![Produktbild - Handbook of Practical Logic and Automated Reasoning by John Harrison [Hardback]](https://i.ebayimg.com/thumbs/images/g/S3IAAOSwvyRnGR03/s-l140.jpg)
