TY  - THES
DP  - http://www.theses.fr/2001PA112260
TI  - Multirésolution pour le test de consistance et la déduction en logique propositionnelle
AU  - Simon, Laurent
A3  - Rousset, Marie-Christine; Chatalic, Philippe
PY  - 2001
SP  - VI-233 p.
N1  - Thèse de doctorat Informatique Paris 11 2001
N1  - 2001PA112260
ER  -