TY  - JOUR
AU  - Barbin, Evelyne
AU  - Duval, Raymond
AU  - Houdebine, Jean
AU  - Laborde, Colette
TI  - Analyse de textes de démonstration dans des cadres théoriques différents
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1998
SP  - 259
EP  - 284
IS  - S4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1998___S4_259_0/
LA  - fr
ID  - PSMIR_1998___S4_259_0
ER  -