Higher Order Logic Theorem Proving and Its Applications

Joyce, Jeffrey|Seger, Carl-Johan H.

ISBN 10: 3540578269 ISBN 13: 9783540578260
Verlag: Springer Berlin Heidelberg, 1994
Sprache: Englisch
Neu Zustand: New Softcover

Verkäufer moluna, Greven, Deutschland

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

AbeBooks-Verkäufer seit 9. Juli 2020

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

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

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen