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

Sciences du logiciel - Xavier Leroy · 30/01/2020 18:06 · 1 h 16

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