TY - THES DP - http://www.theses.fr/1991TOU30009 TI - Logique possibiliste : aspects formels, deduction automatique, et applications AU - Lang, Jérôme A3 - Prade, Henri PY - 1991 N1 - Thèse de doctorat Sciences et techniques communes Toulouse 3 1991 N1 - 1991TOU30009 ER -