Ergebnisse filtern
-
- 2
-
- 1
- 1
-
- 2
- 1
- 1
-
- 1
- 1
-
- 2
-
- 2
-
- 2
-
- 2
Mathematik | Informatik
-
Fontaine Automated Deduction - CADE 27
27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-29435-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fontaine / Schmidt / Ringeissen Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40884-7Medium: 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