Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения
Отпущенников, Илья Владимирович. Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения : диссертация ... кандидата технических наук : 05.13.11 / Отпущенников Илья Владимирович; [Место защиты: Ин-т динамики систем и теории управления СО РАН].- Иркутск, 2011.- 128 с.: ил. РГБ ОД, 61 11-5/2492
