Automated Theorem Proving
After 25 Years
Herausgeber: Loveland, Donald W.; Bledsoe, W. W
Versandkostenfrei!
Versandfertig in 2-4 Wochen
80,99 €
inkl. MwSt.
PAYBACK Punkte
40 °P sammeln!
Andere Kunden interessierten sich für
After 25 Years
Rechnungen
Bestellstatus
Retourenschein
Storno
