ADG 2010 - Munich
ADG 2010 - Munich
Différences entre les versions de « Accueil »
De ADG 2010 - Munich
| Ligne 2 : | Ligne 2 : | ||
<span style="font-size: 250%; font-family: Garamond; border: "><big>ADG 2010</big> | <span style="font-size: 250%; font-family: Garamond; border: "><big>ADG 2010</big> | ||
- ''Munich''</span> | - ''Munich''</span> | ||
| + | |||
| + | <big><big><big> | ||
| + | Eighth International Workshop<br> | ||
| + | on<br> | ||
| + | Automated Deduction in Geometry<br> | ||
| + | </big> | ||
| + | July 22-24 | ||
| + | </big></big> | ||
</center> | </center> | ||
Version du 1 novembre 2009 à 16:12
ADG 2010 - Munich
Eighth International Workshop
on
Automated Deduction in Geometry
July 22-24
