%0 Journal Article %A Mahboubi, Assia %T Calcul Formel et Preuves Formelles %B Journées Nationales de Calcul Formel. 22 – 26 Janvier 2018 %A Collectif %S Les cours du CIRM %Z talk:2 %D 2018 %P 1-10 %N 1 %I CIRM %U http://archive.numdam.org/articles/10.5802/ccirm.27/ %R 10.5802/ccirm.27 %G fr %F CCIRM_2018__6_1_A2_0