Automated Theorem Proving: After 25 Years - Contemporary Mathematics - - Bücher - American Mathematical Society - 9780821850275 - 30. Dezember 1984
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Preis
€ 63,99

Bestellware

Lieferdatum: ca. 24. Dez - 2. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder
Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 30. Dezember 1984
ISBN13 9780821850275
Verlag American Mathematical Society
Maße 252 × 171 × 14 mm   ·   486 g
Redakteur Bledsoe, W. W
Redakteur Loveland, Donald W.