TY  - THES
DP  - http://www.theses.fr/1995NAN10337
TI  - Contribution au raisonnement temporel : application aux systèmes de maintien de vérité
AU  - Bouzid, Maroua
A3  - Haton, Jean-Paul; Charpillet, François
PY  - 1995
SP  - 1 vol. (151 p.)
N1  - Thèse de doctorat Informatique Nancy 1 1995
N1  - 1995NAN10337
ER  -