TY  - JOUR
AU  - I. E. Pedanov
TI  - The decidability of the membership problem in a data processing language for geometry
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1974
SP  - 450
EP  - 460
VL  - 14
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1974_14_2_a15/
LA  - ru
ID  - ZVMMF_1974_14_2_a15
ER  -