SAIBI Amokrane

Doktor - SPI
Datum, an dem das LIP6 verlassen wurde : 01.04.1999
https://lip6.fr/Amokrane.Saibi

Forschungsleitung (Direction de recherche) : 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.

Verteidigung einer Doktorarbeit : 13.03.1999

Datum, an dem das LIP6 verlassen wurde : 01.04.1999

Publikationen 1999