Handbook of Practical Logic and Automated Reasoning by John Harrison (English) H
157,17 €
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:
