Ergebnisse filtern
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
Pientka / Tinelli Automated Deduction - CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-38498-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort