%0 Journal Article
%A Durand-Guerrier, Viviane
%T Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:2
%D 1994-1995
%P 1-13
%N 3
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1994-1995___3_A2_0/
%G fr
%F PSMIR_1994-1995___3_A2_0