Automated Theorem Proving: After 25 Years (Contemporary Mathematics).

Bledsoe, W. W.; Loveland, D. W.:

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

Verkauft von Antiquariat Bernhardt, Kassel, Deutschland

AbeBooks-Verkäufer seit 28. September 2000

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gut

Preis: EUR 44,65 Währung umrechnen
EUR 3,00 für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen