15192 shaares
66 liens privés
66 liens privés
3 résultats
taggé
thèse
Tout ce qu'il faut pour bien démarrer une thèse avec méthode.
Par ses travaux dans sa thèse, elle a ainsi pu démontrer que les preuves circulaires se comportent réellement comme des preuves, et de façon secondaire fournir des algorithmes de traitement de µ-calcul en vue d’applications pour la vérification des systèmes.
La méthode à 10 doigts
s'imposa avec la victoire de Franck Mc Gurrin, et
bien qu'aucune publication n’ait démontré sa
supériorité, on la considère encore aujourd'hui comme allant de soi.