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 : mardi 27 août 2024-12:52:36