Catalogue SUDOC

Recherche

(PPN)

044132301 OR 126335451

| 2 résultat(s)

Services

Affiner la recherche

	1.	Etude de la terminaison des programmes logiques avec contraintes aux moyens d'approximations Mesnard, Frédéric (19..-....) / Atelier national de reproduction des thèses / 1993
	2.	ETUDE DE LA TERMINAISON DES PROGRAMMES LOGIQUES AVEC CONTRAINTES, AUX MOYENS D'APPROXIMATIONS Mesnard, Frédéric (19..-....) / [s.n.] / 1993