%0 Journal Article
%A El Glass, Bahia
%T 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
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1997-1998
%P 3-33
%N 3
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1997-1998___3_3_0/
%G fr
%F PSMIR_1997-1998___3_3_0