TY  - JOUR
AU  - Luengo, Vanda
TI  - Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1998
SP  - 189
EP  - 190
IS  - S4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://archive.numdam.org/item/PSMIR_1998___S4_189_0/
LA  - fr
ID  - PSMIR_1998___S4_189_0
ER  -