TY - JOUR AU - A. E. Gutman AU - L. I. Kononenko TI - Formalization of inverse problems and its applications JO - Sibirskij žurnal čistoj i prikladnoj matematiki PY - 2017 SP - 49 EP - 56 VL - 17 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VNGU_2017_17_4_a4/ LA - ru ID - VNGU_2017_17_4_a4 ER -