TY  - JOUR
AU  - В.О. Георгиев
TI  - Обзор по методам синтеза программ
JO  - Veroâtnostnye metody i kibernetika
PY  - 1990
SP  - 16
EP  - 42
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/
LA  - ru
ID  - VMK_1990__24_69278
ER  -