Le 22 avril 2014, c’était la journée de lancement du trimestre Sémantique des preuves et des programmes et mathématiques certifiées.
La sémantique, c’est romantique
Écrit par
Pierre Pansu
Publié le
8 juin 2014
Peu illustré
15 - 30 minutes