%0 Journal Article
%A Pottier, Loïc
%T Preuves formelles automatiques et calcul formel
%B Journées Nationales de Calcul Formel. 14 – 18 Novembre 2011
%A Collectif
%S Les cours du CIRM
%Z talk:3
%D 2011
%P 1-25
%N 1
%I CIRM
%U http://archive.numdam.org/articles/10.5802/ccirm.15/
%R 10.5802/ccirm.15
%G fr
%F CCIRM_2011__2_1_A3_0