TY  - JOUR
AU  - El Glass, Bahia
TI  - L'apprentissage de la démonstration avec l'aide du logiciel DEFI : analyse des démarches observées, rôle des messages, apprentissage théorème par théorème
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1997-1998
SP  - 3
EP  - 33
IS  - 3
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1997-1998___3_3_0/
LA  - fr
ID  - PSMIR_1997-1998___3_3_0
ER  -