Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Doctorat de

Doctorat
Equipe : Données et Connaissances Massives et Hétérogènes

Méthodes avancées de raisonnement en logique proppositionnelle : apllication aux réseaux métaboliques

Début le 01/10/2013
Direction : DAGUE, Philippe
[SIMON Laurent]

Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Sud

Lieu de déroulement : LRI - LaHDAK

Soutenue le 13/12/2016 devant le jury composé de :

Activités de recherche :

Résumé :