Publications de l'Institut de recherche mathématiques de Rennes, Fascicule de didactique des mathématiques et de l'E.I.A.O., no. 3 (1994-1995), Exposé no. 2, 13 p.
Citer cet article
Durand-Guerrier, Viviane. Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle. Publications de l'Institut de recherche mathématiques de Rennes, Fascicule de didactique des mathématiques et de l'E.I.A.O., no. 3 (1994-1995), Exposé no. 2, 13 p.. http://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/
@article{PSMIR_1994-1995___3_A2_0,
author = {Durand-Guerrier, Viviane},
title = {Logique et raisonnement math\'ematique {Exemple} d'analyse de t\^aches \`a l'aide de la logique formelle},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
note = {talk:2},
pages = {1--13},
year = {1994-1995},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {3},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/}
}
TY - JOUR
AU - Durand-Guerrier, Viviane
TI - Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle
JO - Publications de l'Institut de recherche mathématiques de Rennes
N1 - talk:2
PY - 1994-1995
SP - 1
EP - 13
IS - 3
PB - Département de Mathématiques et Informatique, Université de Rennes
UR - http://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/
LA - fr
ID - PSMIR_1994-1995___3_A2_0
ER -
%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://geodesic.mathdoc.fr/item/PSMIR_1994-1995___3_A2_0/
%G fr
%F PSMIR_1994-1995___3_A2_0
