SAIBI Amokrane
责任导师 : Thérèse HARDIN
Outils Génériques de Modélisation et de Démonstration pour la formalisation des Mathématiques en Théorie des types. Application à la Théorie des Catégories.
答辩 : 1999-3-13
离开日期 : 1999-4-1