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