Publications de l'Institut de recherche mathématiques de Rennes, Didactique des mathématiques, no. 5 (1990-1991), Exposé no. 3, 39 p.
Citer cet article
Ag Almouloud, Saddo. Aide logicielle à la résolution de problème avec preuve. Publications de l'Institut de recherche mathématiques de Rennes, Didactique des mathématiques, no. 5 (1990-1991), Exposé no. 3, 39 p.. http://geodesic.mathdoc.fr/item/PSMIR_1990-1991___5_A3_0/
@article{PSMIR_1990-1991___5_A3_0,
author = {Ag Almouloud, Saddo},
title = {Aide logicielle \`a la r\'esolution de probl\`eme avec preuve},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
note = {talk:3},
pages = {1--39},
year = {1990-1991},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {5},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1990-1991___5_A3_0/}
}
TY - JOUR
AU - Ag Almouloud, Saddo
TI - Aide logicielle à la résolution de problème avec preuve
JO - Publications de l'Institut de recherche mathématiques de Rennes
N1 - talk:3
PY - 1990-1991
SP - 1
EP - 39
IS - 5
PB - Département de Mathématiques et Informatique, Université de Rennes
UR - http://geodesic.mathdoc.fr/item/PSMIR_1990-1991___5_A3_0/
LA - fr
ID - PSMIR_1990-1991___5_A3_0
ER -
%0 Journal Article
%A Ag Almouloud, Saddo
%T Aide logicielle à la résolution de problème avec preuve
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:3
%D 1990-1991
%P 1-39
%N 5
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://geodesic.mathdoc.fr/item/PSMIR_1990-1991___5_A3_0/
%G fr
%F PSMIR_1990-1991___5_A3_0
