TY  - JOUR
AU  - Loïc Pottier
TI  - Preuves formelles automatiques et calcul formel
JO  - Les cours du CIRM
N1  - talk:3
PY  - 2011
VL  - 2
IS  - 1
PB  - CIRM
UR  - https://ccirm.centre-mersenne.org/articles/10.5802/ccirm.15/
DO  - 10.5802/ccirm.15
LA  - fr
ID  - CCIRM_2011__2_1_A3_0
ER  -