TY  - THES
DP  - http://www.theses.fr/2006PA066599
TI  - Tableaux et déduction modulo
AU  - Bonichon, Richard
A3  - Accart Hardin, Thérèse
PY  - 2006
SP  - 1 vol. ( V-165 p.)
N1  - Thèse de doctorat Informatique Paris 6 2006
N1  - 2006PA066599
ER  -