Collège de France
menu
FR
EN
Quelques extensions de la logique de séparation
FR
EN
Xavier Leroy
Collège de France
Sciences du logiciel
/
Logiques de programmes : quand la machine raisonne sur ses logiciels
01 avril 2021
09:30
11:00
Cours
Amphithéâtre Guillaume Budé - Marcelin Berthelot
Télécharger la vidéo
Télécharger l'audio
Support
[450.0Ko]
en savoir plus