Sign up to save your podcastsEmail addressPasswordRegisterOrContinue with GoogleAlready have an account? Log in here.
February 12, 202007 - Sémantiques mécanisées : quand la machine raisonne sur ses langages1 hour 25 minutesPlayXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages...moreShareView all episodesBy Collège de FranceFebruary 12, 202007 - Sémantiques mécanisées : quand la machine raisonne sur ses langages1 hour 25 minutesPlayXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages...more
Xavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
February 12, 202007 - Sémantiques mécanisées : quand la machine raisonne sur ses langages1 hour 25 minutesPlayXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages...more
Xavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages