%0 Journal Article
%A Duval, Raymond
%A Egret, Marie-Agnès
%T Pour une décomposition cognitive des tâches dans la production d'une démonstration
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:7
%D 1989-1990
%P 1-3
%N 5
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1989-1990___5_A7_0/
%G fr
%F PSMIR_1989-1990___5_A7_0