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