Von dem Buch Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science 1869) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sous la direction de: Mark Aagaard, Sous la direction de: John Harrison: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science 1869) (ISBN: 9783540678632) 2000, 2000. Ausgabe, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Mark Aagaard; John Harrison: Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (ISBN: 9783540446590) 2000, in Deutsch, auch als eBook.Nur diese Ausgabe anzeigen…
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science 1869)
7 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 | 2016 |
|---|---|---|---|---|---|
| Schnitt | € 73,20 | € 65,18 | € 65,24 | € 80,73 | € 2,72 |
| Nachfrage |
1
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science 1869) (2000)
DE PB USISBN: 9783540678632 bzw. 3540678638, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Petra Gros [1048006], Koblenz, ., Germany.
546 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Das Buch befindet sich in einem sauber erhaltenen Zustand. Sprache: en Gewicht in Gramm: 700.
546 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Das Buch befindet sich in einem sauber erhaltenen Zustand. Sprache: en Gewicht in Gramm: 700.
2
Theorem Proving in Higher Order Logics
DE PB NWISBN: 9783540678632 bzw. 3540678638, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 2000 Portland, Or, USA, August 14-18, 2000 Proceedings (Paperback) (2000)
DE PB NWISBN: 9783540678632 bzw. 3540678638, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, Citi Retail [9235530], Lowfield Heath, CRAWL, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science) (2000)
DE NWISBN: 9783540678632 bzw. 3540678638, in Deutsch, Springer, neu.
Von Händler/Antiquariat, Firehouse Liquidation [53003159], Vancouver, WA, U.S.A.
Ships next business day! Brand New!
Ships next business day! Brand New!
5
Theorem Proving in Higher Order Logics
DE NW EBISBN: 9783540446590 bzw. 3540446591, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 2000 Portland, Or, Usa, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science) (2000)
DE PB USISBN: 9783540678632 bzw. 3540678638, in Deutsch, 2000. Ausgabe, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Better World Books, IN, Mishawaka, [RE:4].
Trade paperback, 2000 ed.
Von Händler/Antiquariat, Better World Books, IN, Mishawaka, [RE:4].
Trade paperback, 2000 ed.
7
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (2000)
DE NW EB DLISBN: 9783540446590 bzw. 3540446591, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
Lade…