Automated deduction in geometry : 4th international workshop, ADG 2002 : Hagenberg Castle, Austria, September 4-6, 2002 : revised papers. : Sep 2002, Hagenberg, Austria
Franz Winkler, Austria) InternationalWorkshoponAutomatedDeductioninGeometry(4th:2002:Linz
- 出版社
- Springer
- 発売日
- 2004-01-01
- ISBN
- 9783540209270