Catalogue SUDOC

Recherche

(PPN)

154460478 OR 247974781 OR 149645376

| 3 résultat(s)

Services

Affiner la recherche

	1.	Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes Brun, Christophe (1984 -....) / Atelier national de reproduction des thèses / 2010
	2.	Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes Brun, Christophe (1984 -....) / 2010
	3.	Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes [Ressource électronique] Brun, Christophe (1984 -....) / Université de Strasbourg / 2011