Machine-checked computer-aided mathematics
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Assia Mahboubi : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-03107626
Soumis le : mercredi 13 janvier 2021-21:31:55
Dernière modification le : vendredi 24 mars 2023-14:53:20