- 3 Ergebnisse
Kleinster Preis: € 20,31, größter Preis: € 26,85, Mittelwert: € 24,27
1
Bestellen
bei AbeBooks.com
€ 25,65
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Automated Theorem Proving: Unification, Method of Analytic Tableaux, Sequent Calculus, Hilbert System, Concolic Testing, Resolution (Paperback) - Taschenbuch

2010, ISBN: 1156765099

[EAN: 9781156765098], New book, [PU: Books LLC, United States], Language: N/A. This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this … Mehr…

NEW BOOK. Versandkosten:Free shipping. (EUR 0.00) Book Depository hard to find, London, United Kingdom [63688905] [Rating: 2 (of 5)]
zuklappen (X)
2
Automated Theorem Proving: Unification, Method of Analytic Tableaux, Sequent Calculus, Hilbert System, Concolic Testing, Resolution
Bestellen
bei
(ca. € 20,31)
Bestellengesponserter Link
Automated Theorem Proving: Unification, Method of Analytic Tableaux, Sequent Calculus, Hilbert System, Concolic Testing, Resolution - neues Buch

2010, ISBN: 1156765099, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei innerhalb der BRD

Internationaler Buchtitel. In englischer Sprache. Verlag: Books LLC, 112 Seiten, L=152mm, B=229mm, H=7mm, Gew.=177gr, Kartoniert/Broschiert

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD Buchgeier.com
zuklappen (X)
3
Bestellen
bei Achtung-Buecher.de
€ 26,85
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Source: Wikipedia (Herausgeber):
Automated theorem proving - neues Buch

2012

ISBN: 1156765099

Kartoniert / Broschiert COMPUTERS / Computer Science, mit Schutzumschlag neu, [PU:Books LLC, Reference Series]

  - Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
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
Automated theorem proving
Autor:
Titel:
ISBN-Nummer:

9781156765098

Detailangaben zum Buch - Automated theorem proving


EAN (ISBN-13): 9781156765098
ISBN (ISBN-10): 1156765099
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Books LLC
112 Seiten
Gewicht: 0,177 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2012-03-12T17:43:02+01:00 (Berlin)
Detailseite zuletzt geändert am 2020-08-31T10:02:44+02:00 (Berlin)
ISBN/EAN: 9781156765098

ISBN - alternative Schreibweisen:
1-156-76509-9, 978-1-156-76509-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: theorem proving

< zum Archiv...