Fiche de HALMAGRAND Pierre

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
Encadrant : Damien DOLIGEZ (Inria-Paris (ED-130))
Directeur de thèse: David DELAHAYE (Inria-Paris (ED-130))
Sujet de thèse: Déduction automatique modulo Numéro PRD: 3506