Ergebnisse filtern
-
- 5
-
- 1
- 1
- 1
- 1
- 1
-
- 2
- 1
- 1
- 1
- 1
- 1
- 1
-
- 4
- 1
-
- 1
- 4
-
- 5
-
- 5
-
- 5
Geometrie
-
Quaresma / Botana Automated Deduction in Geometry
10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21361-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Recio / Botana Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77355-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winkler Automated Deduction in Geometry
4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20927-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wang Automated Deduction in Geometry
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64297-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Padmanabhan / McCune Automated Deduction in Equational Logic and Cubic Curves
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61398-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