Ergebnisse filtern
-
- 5
-
- 1
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 1
- 1
- 4
- 1
-
- 5
-
- 5
-
- 5
-
- 5
-
- 5
Geometrie
-
Wang Automated Deduction in Geometry
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64297-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Richter-Gebert / Wang Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42598-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gao / Wang / Yang Automated Deduction in Geometry
Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66672-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hong / Wang Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31332-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves
Erscheinungsjahr 1996Verlag: SpringerISBN: 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
