Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings.

Boulton, Richard J.; Paul B. Jackson (Eds.)

ISBN 10: 354042525X ISBN 13: 9783540425250
Verlag: Berlin, Springer., 2001
Sprache: Englisch
Zustand: Gebraucht Softcover

Verkauft von Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland

Verbandsmitglied:

AbeBooks-Verkäufer seit 9. April 2003

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Preis:
EUR 12,00
EUR 30,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen