Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 4
-
- 1
- 3
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Ramanayake / Urban Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43512-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davenport / Kauers / Labahn Mathematical Software - ICMS 2018
6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96417-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davenport / Farmer / Rabe Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22672-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Watt / Sexton / Davenport Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08433-6Medium: 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