TY  - THES
DP  - 
		http://www.theses.fr/1995BESA2040
TI  - Intervalles ensemblistes en programmation logique par contraintes : definition formelle et concrete d'un langage
AU  - Gervet, Carmen
A3  - Legeard, Bruno
PY  - 1995
SP  - 130 P.
N1  - Thèse de doctorat Sciences appliquées Besançon 1995
N1  - 1995BESA2040
ER  -