%0 Journal Article
%A D. G. Tokmakova
%T Survey of the methods of formal representation

%J News of the Kabardin-Balkar scientific center of RAS
%D 2015
%P 64-71
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2015_1_a7/
%G ru
%F IZKAB_2015_1_a7