TY  - JOUR
AU  - S. I. Gurov
TI  - Logical recognition algorithms based on the Gilbert expansion
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 2003
SP  - 1243
EP  - 1248
VL  - 43
IS  - 8
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_2003_43_8_a9/
LA  - ru
ID  - ZVMMF_2003_43_8_a9
ER  -