Vidéo 18 min

Automated Mathematical Proofs - Computerphile

Informatique Computerphile 30 vues
Automated Mathematical Proofs - Computerphile
Informatique
Lecteur vidéo 18 min