Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул
Бутаков Михаил Игоревич. Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул: диссертация ... кандидата технических наук: 05.13.11 / Бутаков Михаил Игоревич;[Место защиты: ИДСТУ СО РАН].- Иркутск, 2012.- 124 с.