TY - JOUR AU - Yu. I. Zhuravlev TI - Principles of construction of justification of algorithms for the solution of badly formalized problems JO - Matematičeskie zametki PY - 1978 SP - 899 EP - 914 VL - 23 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1978_23_6_a13/ LA - ru ID - MZM_1978_23_6_a13 ER -