Ergebnisse filtern
-
- 7
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
-
- 1
- 5
- 1
-
- 2
- 5
-
- 7
-
- 7
-
- 7
Geometrie
-
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
-
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
-
Gao / Yang / Wang Automated Deduction in Geometry
Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66672-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fleuriot / Ida Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-40671-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wang / Richter-Gebert Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42598-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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
-
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
