TY  - THES
DP  - http://www.theses.fr/2011GRENM004
TI  - Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
AU  - Barcenas Patino, Ismael
A3  - Layaida, Nabil
PY  - 2011
N1  - Thèse de doctorat Informatique Grenoble 2011
N1  - 2011GRENM004
UR  - http://www.theses.fr/2011GRENM004/document
ER  -