%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://www.numdam.org/articles/10.5802/ccirm.27/
%R 10.5802/ccirm.27
%G fr
%F CCIRM_2018__6_1_A2_0