TY - JOUR AU - S. N. Chernikov TI - Contraction of finite systems of linear inequalities JO - Doklady Akademii Nauk PY - 1963 SP - 1075 EP - 1078 VL - 152 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1963_152_5_a15/ LA - ru ID - DAN_1963_152_5_a15 ER -