@article{CCIRM_2018__6_1_A2_0, author = {Mahboubi, Assia}, title = {Calcul {Formel} et {Preuves} {Formelles}}, booktitle = {Journ\'ees Nationales de Calcul Formel. 22 {\textendash} 26 Janvier 2018}, series = {Les cours du CIRM}, note = {talk:2}, pages = {1--10}, publisher = {CIRM}, number = {1}, year = {2018}, doi = {10.5802/ccirm.27}, language = {fr}, url = {http://archive.numdam.org/articles/10.5802/ccirm.27/} }