- 0 Ergebnisse
Kleinster Preis: € 20,31, größter Preis: € 26,85, Mittelwert: € 23,58
1
Automated Theorem Proving: Unification, Method of Analytic Tableaux, Sequent Calculus, Hilbert System, Concolic Testing, Resolution
Bestellen
bei
(ca. € 20,31)

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

ID: 9781156765098

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

Buchgeier.com
2
Bestellen
bei Achtung-Buecher.de
€ 26,85
Versand: € 0,00

Source: Wikipedia (Herausgeber):

Automated theorem proving - neues Buch

2012, ISBN: 1156765099

ID: A10616971

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
Bezahlte Anzeige

Details zum Buch

Detailangaben zum Buch - Automated theorem proving


EAN (ISBN-13): 9781156765098
ISBN (ISBN-10): 1156765099
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 2018-08-13T11:04:47+02:00 (Berlin)
ISBN/EAN: 9781156765098

ISBN - alternative Schreibweisen:
1-156-76509-9, 978-1-156-76509-8


< zum Archiv...