%0 Journal Article
%A A. P. Goryushkin
%T Machine resolving of discrete mathematics problems
%J Vestnik KRAUNC. Fiziko-matematičeskie nauki
%D 2011
%P 58-68
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VKAM_2011_2_a6/
%G ru
%F VKAM_2011_2_a6