Collège De France (sciences Et Technologies)

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

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