Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Habilitation à diriger des recherches de CONTEJEAN Evelyne
CONTEJEAN Evelyne
Habilitation à diriger des recherches
Equipe : Vérification d'Algorithmes, Langages et Systèmes

Facettes de la preuve Jeux de reflets entre démonstration automatique et preuve assistée

Début le 01/01/1970
Direction : PAULIN-MOHRING, Christine

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

Lieu de déroulement :

Soutenue le 13/06/2014 devant le jury composé de :
Herman Geuvers
Sophie Tison
Jürgen Giesl
Christine Paulin
Brigitte Rozoy
Michaël Rusinovitch

Activités de recherche :

Résumé :