Outils fondamentaux pour le filtrage de motifs dépendants en dimensions supérieures.
FR
Auteur / Autrice : | Cyprien Mangin |
Direction : | Pierre-louis Curien |
Type : | Projet de thèse |
Discipline(s) : | Informatique |
Date : | Inscription en doctorat le 22/09/2015 |
Etablissement(s) : | Université Paris Cité |
Ecole(s) doctorale(s) : | SCIENCES MATHEMATIQUES DE PARIS CENTRE |
Partenaire(s) de recherche : | Equipe de recherche : PPS - PREUVES PROGRAMMES ET SYSTEMES |