Ergebnisse filtern
-
- 2
-
- 2
-
- 2
-
- 2
-
- 2
-
- 2
-
- 2
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Erscheinungsjahr 2013Verlag: Springer NetherlandISBN: 978-94-017-0437-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Erscheinungsjahr 2013Verlag: Springer NetherlandISBN: 978-94-017-0435-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
