%0 Journal Article
%A I. V. Isaev
%T An efficient method for synthesizing correct recognition algorithms
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1984
%P 1079-1086
%V 24
%N 7
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_7_a10/
%G ru
%F ZVMMF_1984_24_7_a10