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
08 - 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 : quand la machine raisonne sur ses langages
07 - 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 : quand la machine raisonne sur ses langages
06 - Sémantiques mécanisées : quand la machine raisonne sur ses langages - VIDEO
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
06 - 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 : quand la machine raisonne sur ses langages
05 - Sémantiques mécanisées : quand la machine raisonne sur ses langages - VIDEO
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
05 - 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 : quand la machine raisonne sur ses langages
04 - Sémantiques mécanisées : quand la machine raisonne sur ses langages - VIDEO
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
04 - 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 : quand la machine raisonne sur ses langages
03 - Sémantiques mécanisées : quand la machine raisonne sur ses langages - VIDEO
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