TY  - JOUR
AU  - Nicolas, Pierrick
TI  - Construction et vérification de figures géométriques dans le système
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:8
PY  - 1988-1989
SP  - 1
EP  - 6
IS  - 5
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1988-1989___5_A8_0/
LA  - fr
ID  - PSMIR_1988-1989___5_A8_0
ER  -