Индуктивный синтез алгоритмов на основе аксиоматических теорий постановок задач
Гуторов Дмитрий Анатольевич. Индуктивный синтез алгоритмов на основе аксиоматических теорий постановок задач : автореферат дис. ... кандидата физико-математических наук : 05.13.01 / Гуторов Дмитрий Анатольевич; [Место защиты: Ин-т систем. анализа РАН].- Москва, 2009.- 17 с.: ил. РГБ ОД, 9 10-1/3990