- 5 Ergebnisse
Kleinster Preis: € 22,00, größter Preis: € 564,77, Mittelwert: € 174,00
1
Parallel Problem Solving from Nature – PPSN XIV - 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Bestellen
bei Dodax.de
€ 128,29
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Parallel Problem Solving from Nature – PPSN XIV - 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings - neues Buch

2016, ISBN: a947466a192651c28174361fce465d6e

This book constitutes the refereed proceedings of the 14th International Conference on Parallel Problem Solving from Nature, PPSN 2016, held in Edinburgh, UK, in September 2016.The total … Mehr…

Nr. V55GOLNSNG3. Versandkosten:, Lieferzeit: zwischen 5 - 7 Werktage Tage, DE. (EUR 0.00)
zuklappen (X)
2
[(Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings )] [Author: Richard J. Boulton] [Sep-2001] - Richard J. Boulton
Bestellen
bei amazon.it
€ 129,94
Versand: € 5,501
Bestellen
Details beim Anbieter
gesponserter Link

Richard J. Boulton:

[(Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings )] [Author: Richard J. Boulton] [Sep-2001] - neues Buch

2001, ISBN: a947466a192651c28174361fce465d6e

Copertina flessibile, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Libro, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. … Mehr…

  - Neuware. Versandkosten:Amazon-Produkte ab EUR 19 Versandkostenfrei in Italien und der Schweiz, EUR 6 für den Rest der EU.. Generalmente spedito in 3-4 giorni lavorativi. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.50) s4store
zuklappen (X)
3
[(Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings )] [Author: Richard J. Boulton] [Sep-2001]
Bestellen
bei amazon.com
$ 647,00
(ca. € 564,77)
Bestellen
Details und Versand
gesponserter Link
[(Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings )] [Author: Richard J. Boulton] [Sep-2001] - Taschenbuch

2001

ISBN: a947466a192651c28174361fce465d6e

Paperback, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Book, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. K], Springer… Mehr…

  - Gebraucht. Versandkosten:Usually ships in 1-2 business days., zzgl. Versandkosten GlobalOnlineCo
zuklappen (X)
4
Bestellen
bei antiquariat.de
€ 22,00
Versand: € 1,001
Bestellen
Details beim Anbieter
gesponserter Link
Boulton, Richard J.; Paul B. Jackson (Eds.):
Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings. - Taschenbuch

2001, ISBN: a947466a192651c28174361fce465d6e

Berlin, Springer, X, 393 p. Softcover. Lecture Notes in Computer Science, Vol. 2152. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexempl… Mehr…

  - Versandkosten: EUR 1.00 Antiquariat im Hufelandhaus GmbH vorm. Lange & Springer
zuklappen (X)
5
Bestellen
bei antiquariat.de
€ 25,00
Versand: € 1,001
Bestellen
Details beim Anbieter
gesponserter Link
Boulton, Richard J.; Paul B. Jackson (Eds.):
Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings. Lecture Notes in Computer Science, Vol. 2152. - Taschenbuch

2001, ISBN: a947466a192651c28174361fce465d6e

Berlin, Springer, X, 393 p. Softcover.Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfe… Mehr…

Versandkosten: EUR 1.00 Antiquariat im Hufelandhaus GmbH vorm. Lange & Springer
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings.
Autor:
Titel:
Nummer:

a947466a192651c28174361fce465d6e

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


Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Buch in der Datenbank seit 2013-12-12T01:50:00+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-03T17:56:58+02:00 (Berlin)


Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: richard boulton, jackson paul
Titel des Buches: edinburgh, september, conference international proceedings, 14th international conference, theorem proving

< zum Archiv...