TY - JOUR AU - Mahboubi, Assia TI - Calcul Formel et Preuves Formelles BT - Journées Nationales de Calcul Formel. 22 – 26 Janvier 2018 AU - Collectif T3 - Les cours du CIRM N1 - talk:2 PY - 2018 SP - 1 EP - 10 IS - 1 PB - CIRM UR - http://archive.numdam.org/articles/10.5802/ccirm.27/ DO - 10.5802/ccirm.27 LA - fr ID - CCIRM_2018__6_1_A2_0 ER -