SAIBI Amokrane
Direção de pesquisa : 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.
Defesas : 13/03/1999
Data de partida : 01/04/1999Publicações 1999
-
1999
- A. Saibi : “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.”, tese, defesas 13/03/1999, direção de pesquisa Hardin, Thérèse (1999)