TY  - THES
DP  - 
		http://www.theses.fr/1987PA112452
TI  - Analyse des inférences récursives en PROLOG : système d'aide à la détection et au contrôle de boucles
AU  - Pelhat, Sophie
A3  - Kodratoff, Yves
PY  - 1987
SP  - 1 vol. (158 p.)
N1  - Thèse de doctorat Informatique Paris 11 1987
N1  - 1987PA112452
ER  -