А. А. Кузнецов Компьютерные алгоритмы теоретико-множественного анализа сложных алгебраических систем Подробнее
