John Harrison Handbook of Practical Logic and Automated Reas (Gebundene Ausgabe)
238,94 €
Produktart: Gebundene Ausgabe. Autor: John Harrison. 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:
