SAIBI Amokrane

Doutor em PhD - SPI
Data de partida : 01/04/1999
https://lip6.fr/Amokrane.Saibi

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/1999

Publicações 1999

Mentions légales
Mapa do site