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

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

Collège de France (Sciences et technologies)

Share Podcast:
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
Xavier Leroy Collège de France Science du logiciel Année 2019-2020 Sémantiques mécanisées ...Read More