Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 259-284
Citer cet article
Barbin, Evelyne; Duval, Raymond; Houdebine, Jean; Laborde, Colette. Analyse de textes de démonstration dans des cadres théoriques différents. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 259-284. http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_259_0/
@article{PSMIR_1998___S4_259_0,
author = {Barbin, Evelyne and Duval, Raymond and Houdebine, Jean and Laborde, Colette},
title = {Analyse de textes de d\'emonstration dans des cadres th\'eoriques diff\'erents},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
pages = {259--284},
year = {1998},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {S4},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_259_0/}
}
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://geodesic.mathdoc.fr/item/PSMIR_1998___S4_259_0/
LA - fr
ID - PSMIR_1998___S4_259_0
ER -
%0 Journal Article
%A Barbin, Evelyne
%A Duval, Raymond
%A Houdebine, Jean
%A Laborde, Colette
%T Analyse de textes de démonstration dans des cadres théoriques différents
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 259-284
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_259_0/
%G fr
%F PSMIR_1998___S4_259_0
