TY  - THES
DP  - http://www.theses.fr/2002ESAE0018
TI  - Apports de la logique mathématique en ingénierie des exigences
AU  - Garion, Christophe
A3  - Cholvy, Laurence
PY  - 2002
SP  - 1 vol. (VIII-202 p.)
N1  - Thèse de doctorat Représentation de la connaissance et formalisation du raisonnement École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) 2002
N1  - 2002ESAE0018
ER  -