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.
Voir la notice de l'acte provenant de la source Numdam
@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},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {5},
year = {1990-1991},
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
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/