Preuves aidées par ordinateur en combinatoire des mots - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2017

Preuves aidées par ordinateur en combinatoire des mots

Michaël Rao

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
Fichier principal
Vignette du fichier
HDR_RAO.pdf (1.16 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-02157167 , version 1 (15-06-2019)

Identifiants

  • HAL Id : tel-02157167 , version 1

Citer

Michaël Rao. Preuves aidées par ordinateur en combinatoire des mots. Informatique [cs]. ENS de Lyon, 2017. ⟨tel-02157167⟩
79 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More