TY  - THES
DP  - 
		http://www.theses.fr/1995TOU30128
TI  - Déduction automatique en géométrie par réduction de figures
AU  - Lopez, Anne
A3  - Fariñas del Cerro, Luis
PY  - 1995
SP  - [5]-250 p
N1  - Thèse de doctorat Informatique Toulouse 3 1995
N1  - 1995TOU30128
ER  -