Ergebnisse filtern
-
- 1
-
- 1
-
- 1
- 1
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
Technische Wissenschaften
-
Kapur Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55602-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort