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://www.numdam.org/item/PSMIR_1994-1995___3_A2_0/
LA  - fr
ID  - PSMIR_1994-1995___3_A2_0
ER  -