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