TY - JOUR AU - I. A. Chegis AU - S. V. Yablonskii TI - Logical methods of control of work of electric schemes JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1958 SP - 270 EP - 360 VL - 51 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TM_1958_51_a7/ LA - ru ID - TM_1958_51_a7 ER -