07 - Sémantiques mécanisées : quand la machine raisonne sur ses langages

Sciences du logiciel - Xavier Leroy · 06/02/2020 18:06 · 1 h 25

Informatique

Contenu de l'épisode

Xavier Leroy

Collège de France

Science du logiciel

Année 2019-2020

Sémantiques mécanisées : quand la machine raisonne sur ses langages