Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674

Berghofer, Stefan (Editor)/ Nipkow, Tobias (Editor)/ Urban, Christian (Editor)

ISBN 10: 364203358X ISBN 13: 9783642033582
Verlag: Springer-Verlag New York Inc, 2009
Sprache: Englisch
Neu Zustand: Brand New Softcover

Verkäufer Revaluation Books, Exeter, Vereinigtes Königreich

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

AbeBooks-Verkäufer seit 6. Januar 2003

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Preis: EUR 84,36 Währung umrechnen
EUR 11,92 für den Versand von Vereinigtes Königreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb legen