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://www.numdam.org/articles/10.5802/ccirm.27/
DO  - 10.5802/ccirm.27
LA  - fr
ID  - CCIRM_2018__6_1_A2_0
ER  -