Nom et prénom :
LUENGO Vanda
Titre de la thèse :

CABRI-EUCLIDE : Un micromonde de preuve intégrant la réfutation. Principes didactiques et informatiques. Réalisation.
Etablissement :
Laboratoire Leibniz, Université Joseph Fourier, Grenoble
Période :
1997
Type de thèse :
autre…