- Home
- Science
- Mathematics
- ADG 2002
Science · Mathematics
ADG 2002
Listed in the directory · updated 23 Jul 2022
About ADG 2002
ADG 2002- The Fourth International Workshop on Automated Deduction in Geometry. Johannes Kepler Universität Linz, Austria; 4--6 September 2002.