Machine-checked computer-aided mathematics
Origine | Fichiers produits par l'(les) auteur(s) |
---|
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