Automated Theorem Proving : After 25 Years

W. W Bledsoe

ISBN 10: 082185027X ISBN 13: 9780821850275
Verlag: American Mathematical Society Dez 1984, 1984
Sprache: Englisch
Neu Zustand: Neu Softcover

Verkauft von AHA-BUCH GmbH, Einbeck, Deutschland

AbeBooks-Verkäufer seit 14. August 2006

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis: EUR 183,81 Währung umrechnen
Kostenlos für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb legen