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

Sciences du logiciel - Xavier Leroy · 13/02/2020 16:57 · 1 h 11

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