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