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  -