Canal-U_Ocms 35491 <string language="fre"><![CDATA[Proofs assistants : from symbolic logic to real mathematics]]></string> ENG LOMFRv1.0 image en mouvement LOMv1.0 content provider 2017-05-18 LOMv1.0 content provider 2017-05-18 LOMv1.0 content provider 2017-05-18 LOMv1.0 author 2017-05-18 LOMv1.0 LOMFRv1.0 video/mp4 1184709209 PT1H2M37S LOMv1.0 lecture LOMv1.0 master LOMv1.0 doctorat LOMv1.0 no LOMv1.0 no LOMv1.0 ispartof URI https://www.canal-u.tv/producteurs/inria/colloquium_jacques_morgenstern_recherches_en_stic_nouveaux_themes_scientifiques_nouveaux_domaines_d_application_et_enjeux LOMv1.0 discipline LOMv1.0 discipline CDD 22e éd. DDC 22nd ed. 511.3