Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

EXPORTER les infos

thèse précédente

thèse suivante

Explications et programmation par contraintes avancée

par Guillaume Rochart

Thèse de doctorat en Informatique

Sous la direction de Frédéric Benhamou.

Soutenue en 2005

mots clés

Programmation par contraintes
Analyse combinatoire énumérative

Pas de résumé disponible.

Pas de résumé disponible.

Consulter en bibliothèque

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

Détails : 1 vol. (160 p.)
Notes : Publication autorisée par le jury
Annexes : Bibliographie p. 149-155

Où se trouve cette thèse ?

Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
Disponible pour le PEB

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.