TY  - JOUR
AU  - D. G. Tokmakova
TI  - Survey of the methods of formal representation

JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2015
SP  - 64
EP  - 71
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2015_1_a7/
LA  - ru
ID  - IZKAB_2015_1_a7
ER  -