- 2 Ergebnisse
Kleinster Preis: € 34,91, größter Preis: € 36,40, Mittelwert: € 35,66
1
Theorem Proving In Higher Order Logics - National Aeronautics and Space Administration (NASA)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 36,40
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
National Aeronautics and Space Administration (NASA):

Theorem Proving In Higher Order Logics - Taschenbuch

ISBN: 1721106987

Taschenbuch, [EAN: 9781721106981], CreateSpace Independent Publishing Platform, CreateSpace Independent Publishing Platform, Book, [PU: CreateSpace Independent Publishing Platform], Creat… Mehr…

  - Neuware. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 2 - 3 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) -PBShop UK-
zuklappen (X)
2
Theorem Proving In Higher Order Logics - National Aeronaut Administration (NASA)
Bestellen
bei BarnesandNoble.com
$ 39,99
(ca. € 34,91)
Bestellen
Details und Versand
gesponserter Link

National Aeronaut Administration (NASA):

Theorem Proving In Higher Order Logics - Taschenbuch

ISBN: 9781721106981

Theorem Proving In Higher Order Logics Theorem-Proving-In-Higher-Order-Logics~~National-Aeronaut-Administration-NASA Reference>Non-Fiction/Tech Writing>Nonfict/Tech Writing Paperback, Cre… Mehr…

  - new Versandkosten:zzgl. Versandkosten.
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
Autor:
Titel:
ISBN-Nummer:

9781721106981

Detailangaben zum Buch - Theorem Proving In Higher Order Logics


EAN (ISBN-13): 9781721106981
ISBN (ISBN-10): 1721106987
Taschenbuch
Herausgeber: CreateSpace Independent Publishing Platform

Buch in der Datenbank seit 2018-08-13T11:01:24+02:00 (Zurich)
Detailseite zuletzt geändert am 2018-08-13T11:04:48+02:00 (Zurich)
ISBN/EAN: 9781721106981

ISBN - alternative Schreibweisen:
1-7211-0698-7, 978-1-7211-0698-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: theorem proving

< zum Archiv...