Higher Order Logic Theorem Proving and Its Applications

E. Thomas Schubert

ISBN 10: 3540602755 ISBN 13: 9783540602750
Verlag: Springer Berlin Heidelberg Aug 1995, 1995
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

AbeBooks-Verkäufer seit 11. Januar 2012

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 93,08 Währung umrechnen
Kostenlos für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb legen