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

Sciences du logiciel - Xavier Leroy - Een podcast door Collège de France

Probeer Podimo de eerste 30! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

Xavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages