Informatique et sciences numériques (2012-2013) - Bernard Chazelle
02 - Les preuves interactives et l'épistémologie algorithmique
·1h 8m
Bernard Chazelle Informatique et sciences numériques Année 2012-2013 L'algorithmique et les sciences Deuxième cours Deuxième cours : Les preuves interactives et l'épistémologie algorithmique