%0 Journal Article
%A Assia Mahboubi
%T Calcul Formel et Preuves Formelles
%J Les cours du CIRM
%Z talk:2
%D 2018
%V 6
%N 1
%I CIRM
%U https://ccirm.centre-mersenne.org/articles/10.5802/ccirm.27/
%R 10.5802/ccirm.27
%G fr
%F CCIRM_2018__6_1_A2_0