TY - JOUR AU - A. A. Dokukin TI - An inductive method for the synthesis of a correct algorithm in algebras over a model of estimate computation for recognition problems JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 2003 SP - 1273 EP - 1277 VL - 43 IS - 8 UR - http://geodesic.mathdoc.fr/item/ZVMMF_2003_43_8_a12/ LA - ru ID - ZVMMF_2003_43_8_a12 ER -