TY  - JOUR
AU  - Lombardi, Henri
TI  - Algèbre Constructive
BT  - Journées Nationales de Calcul Formel. 3 – 7 Novembre 2014
AU  - Collectif
T3  - Les cours du CIRM
N1  - talk:3
PY  - 2014
SP  - 1
EP  - 48
IS  - 1
PB  - CIRM
UR  - http://archive.numdam.org/articles/10.5802/ccirm.22/
DO  - 10.5802/ccirm.22
LA  - fr
ID  - CCIRM_2014__4_1_A3_0
ER  -