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://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/
LA  - fr
ID  - PSMIR_1990-1991___5_A3_0
ER  -