04 - Sémantiques mécanisées : quand la machine raisonne sur ses langages - VIDEO Jan. 9, 2020

from Collège de France (Sciences et technologies)·

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