Fiche de JACQUEL Melanie

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: Inria-Paris (ED-130)


Date de debut de thèse: 1 janvier 1900
Date soutenance de thèse: 1 janvier 1900
Directrice de thèse: Catherine DUBOIS ()
Directeur de thèse: David DELAHAYE (Inria-Paris (ED-130))
Sujet de thèse: une méthode de preuve outillée afin d'automatiser les démonstrations dans la théorie des ensembles B Numéro PRD: 3063