02 - Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy - Podcast tekijän mukaan Collège de France
Kategoriat:
Xavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
