Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Wolfgang BIBEL | Automated theorem proving | Vieweg 1982 | COMPUTER INFORMATIK

Name: Wolfgang BIBEL | Automated theorem proving | Vieweg 1982 | COMPUTER INFORMATIK
SKU: 114812498776
Price: 51.99 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

51,99 €

Braunschweig ; Wiesbaden : Vieweg 1982. XIII, 292 S. ; 23 cm , (Gewicht Buch + Verpackung > 500 g) *kart.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783528085209
ISBN:

3528085207
Genre:

Mathematik & Wissenschaft
Thematik:

Bibel, Hardware, IT, Mathematik
Buchtitel:

Automated theorem proving
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

1982
Anzahl der Seiten:

312 Seiten
Autor:

Wolfgang Bibel
Verlag:

Vieweg+Teubner Verlag, Vieweg & Teubner
Publikationsname:

Automated Theorem Proving
Sprache:

Deutsch

Sparversand:

Deutsche Post Warensendung kostenlos - Lieferung zwischen 20. June 2025 und 24. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere