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