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

Sciences du logiciel - Xavier Leroy · 16/01/2020 09:46 · 1 h 20

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