TY  - THES
DP  - 
		http://www.theses.fr/1989ORLE2026
TI  - Contribution a la realisation d'une specification formelle pour prolog
AU  - Richard, Gilles
A3  - Lorho, Bernard
PY  - 1989
N1  - Thèse de doctorat Sciences appliquées Orléans 1989
N1  - 1989ORLE2026
ER  -