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

Informatique et sciences numériques (2012-2013) - Bernard Chazelle ›

1:08:18 | Nov 8th, 2012

Bernard ChazelleInformatique et sciences numériquesAnnée 2012-2013L'algorithmique et les sciencesDeuxième coursDeuxième cours : Les preuves interactives et l'épistémologie algorithmique