unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: a001="u824956"
   Записи: 1 - 2 из 2 (стр. 1 из 1)

Сортировать по: 
Дата Автор Заглавие
1985   Автоматизация решения логико-комбинаторных задач : сборник научных трудов / Академия наук Белорусской ССР, Институт технической кибернетики ; [научный редактор А. Д. Закревский]
1998 Перязев, Николай Алексеевич (доктор физико-математических наук) Существование и сложность представлений булевых функций формулами : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / Иркут. гос. ун-т
Записей на стр.