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) |
---|
Loading...