Ergebnisse filtern
-
- 26
-
- 4
- 8
- 10
- 1
- 2
- 1
-
- 13
- 13
-
- 19
- 7
-
- 26
-
- 26
-
- 26
-
Schmidt Automated Deduction ¿ CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-02958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort