Preuves aidées par ordinateur en combinatoire des mots
Résumé
HABILITATION À DIRIGER DES RECHERCHES présentée et soutenue publiquement le 27 juin 2017 par Michaël RAO Preuves aidées par ordinateur en combinatoire des mots
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...