Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: Inria-Paris (ED-130)
Date de debut de thèse: Non disponible Date soutenance de thèse: 23 avril 2013 Directrice de thèse: Catherine DUBOIS (CEDRIC) Directeur de thèse: David DELAHAYE (LIRMM) Sujet de thèse: une méthode de preuve outillée afin d'automatiser les démonstrations dans la théorie des ensembles B
Date de debut de thèse: Non disponible Date soutenance de thèse: 23 avril 2013 Directrice de thèse: Catherine DUBOIS (CEDRIC) Directeur de thèse: David DELAHAYE (LIRMM) Sujet de thèse: une méthode de preuve outillée afin d'automatiser les démonstrations dans la théorie des ensembles B