Математика. Диссертация Методы получения нижних оценок сложности ветвящихся программ, вычисляющих булевы функции : диссертация ... доктора физико-математических наук : 01.01.09, Новосибирск, 2007