%0 Journal Article
%A A. A. Dokukin
%T Formalization of a synthesis problem and methods for its solution
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 2014
%P 1023-1032
%V 54
%N 6
%U http://geodesic.mathdoc.fr/item/ZVMMF_2014_54_6_a13/
%G ru
%F ZVMMF_2014_54_6_a13