TY  - THES
DP  - 
		http://www.theses.fr/1997GRE10257
TI  - Hypotheses domains system : un système d'inférence pour la construction de preuves naturelles et la production d'hypothèses
AU  - Ostier, Pierre
A3  - Trilling, Laurent
PY  - 1997
SP  - 1 volume (121 P.)
N1  - Thèse de doctorat Informatique Grenoble 1 1997
N1  - 1997GRE10257
ER  -