Certification de preuves en logiques classique et intuitionniste du premier ordre
FR |
EN
Auteur / Autrice : | Hichem Zakaria Chihani |
Direction : | Dale Miller |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2015 |
Etablissement(s) : | Palaiseau, Ecole polytechnique |