no. 5
Pour une décomposition cognitive des tâches dans la production d'une démonstration
Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1989-1990), Exposé no. 7, 3 p. 
@article{PSMIR_1989-1990___5_A7_0,
     author = {Duval, Raymond and Egret, Marie-Agn\`es},
     title = {Pour une d\'ecomposition cognitive des t\^aches dans la production d'une d\'emonstration},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     note = {talk:7},
     pages = {1--3},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {5},
     year = {1989-1990},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1989-1990___5_A7_0/}
}
TY  - JOUR
AU  - Duval, Raymond
AU  - Egret, Marie-Agnès
TI  - Pour une décomposition cognitive des tâches dans la production d'une démonstration
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:7
PY  - 1989-1990
SP  - 1
EP  - 3
IS  - 5
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1989-1990___5_A7_0/
LA  - fr
ID  - PSMIR_1989-1990___5_A7_0
ER  - 
%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
Duval, Raymond; Egret, Marie-Agnès. Pour une décomposition cognitive des tâches dans la production d'une démonstration. Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1989-1990), Exposé no. 7, 3 p. http://www.numdam.org/item/PSMIR_1989-1990___5_A7_0/