Методы получения нижних оценок сложности ветвящихся программ, вычисляющих булевы функции
Окольнишникова Елизавета Антоновна. Методы получения нижних оценок сложности ветвящихся программ, вычисляющих булевы функции : диссертация ... доктора физико-математических наук : 01.01.09 / Окольнишникова Елизавета Антоновна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН].- Новосибирск, 2007.- 185 с.: ил. РГБ ОД, 71 07-1/414
