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

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

Сортировать по: 
Дата Автор Заглавие
1995 Хомич, Валентин Иванович (доктор физико-математических наук) Проблема отделимости в пропозициональных исчислениях : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 05.13.17 / Вычисл. центр Рос. акад. наук
1972 Хомич, Валентин Иванович (доктор физико-математических наук) О сложности алгорифмов, связанных с реализацией логико-арифметических и пропозиционных формул : автореф. дис.... канд. физ.-мат. наук / АН СССР, Вычислит. центр
Записей на стр.