TY  - JOUR
AU  - В.Д. Соловьев
TI  - Формальные трансляции
JO  - Veroâtnostnye metody i kibernetika
PY  - 1982
SP  - 101
EP  - 109
VL  - 18
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1982__18_69217/
LA  - ru
ID  - VMK_1982__18_69217
ER  -