05 - L’apprentissage et les algorithmes auto-améliorants

Bernard Chazelle Informatique et sciences numériques Année 2012-2013 L'algorithmique et les sciences Cinquième cours Deuxième cours : Les preuves interactives et l’épistémologie algorithmique