Jürgen Richter-Gebert
2 published titles
Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
(Contributor)
1 edition
- ISBN: 3540425985
- Springer
- 2001
- Details
Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 : Revised selected papers
(Contributor)
1 edition
- ISBN: 9783642250699
- Springer
- 2011
- Details
