%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://www.numdam.org/item/PSMIR_1998___S4_259_0/
%G fr
%F PSMIR_1998___S4_259_0