Informatique Et Sciences Numériques

02 - Les preuves interactives et l’épistémologie algorithmique

Informações:

Sinopse

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