International Workshop on Automated Deduction in Geometry
-
2012
ADG 2012
- 17-19 September
- Edinburgh, United Kingdom
-
Automated Deduction in Geometry
12 Papers
1 Volume
-
2006
ADG 2006
- 31 August - 2 September
- Pontevedra, Spain
-
Automated Deduction in Geometry
13 Papers
1 Volume
-
2004
ADG 2004
- 16-18 September
- Gainesville, FL, USA
-
Automated Deduction in Geometry
12 Papers
1 Volume
-
2002
ADG 2002
- 4-6 September
- Hagenberg Castle, Austria
-
Automated Deduction in Geometry
13 Papers
1 Volume
-
2000
ADG 2000
- 25-27 September
- Zurich, Switzerland
-
Automated Deduction in Geometry
17 Papers
1 Volume