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

Sciences du logiciel - Xavier Leroy · 09/01/2020 05:57 · 1 h 57

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