Применение доказательных вычислений к поиску областей, удовлетворяющих заданным свойствам Кененбаева, Гулай Мекишовна ВАК РФ 05.13.16 Стр. 1 из 32