Handbuch der praktischen Logik und automatisierten Argumentation von John Harrison [gebunden]
141,44 €
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:
