TY  - JOUR
AU  - Larher, Annie
TI  - Implication statistique et applications à l'analyse de démarches de preuve mathématique
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:1
PY  - 1992
SP  - 1
EP  - 1
IS  - 3
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1992___3_A1_0/
LA  - fr
ID  - PSMIR_1992___3_A1_0
ER  -