Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов Бельтюков, Анатолий Петрович ВАК РФ 05.13.17 Стр. 1 из 20