Herausgegeben von: Donald W. Loveland
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Donald W. Loveland.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Auf Lager:
1
Automated Theorem Proving
After 25 Years
CHF 100.–