Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Bledsoe, W. W.
ISBN 10:
082185027X ISBN 13:
9780821850275
Verlag: Amer Mathematical Society, 1984
Sprache: Englisch
Neu
Zustand: New
Softcover
Verkauft von Ria Christie Collections, Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer seit 25. März 2015
Neu - Softcover
Zustand: New
Preis:
EUR 172,73
Währung umrechnen
EUR 5,78
für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Anzahl: 2 verfügbar
In den Warenkorb legen