Индуктивный синтез алгоритмов на основе аксиоматических теорий постановок задач Гуторов, Дмитрий Анатольевич ВАК РФ 05.13.01 Стр. 1 из 18