unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ		История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления
Профессионалам
ПоискЭкспорт данных/ Z39.50BelmarcМетодические решения

   Запрос: a001="BY-NLB-ar6971352"
   Записи: 1 - 7 из 7 (стр. 1 из 1)

Сортировать по: 
№Дата Автор Заглавие
2000 Дудаков, Сергей Михайлович Вычислительная сложность некоторых задач математической логики : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Дудаков Сергей Михайлович ; Моск. гос. ун-т им. М.В.Ломоносова, Мех.-мат. фак
2003 Donaldson, S. K. Floer homology groups in Yang-Mills theory
2016 Зайнетдинов, Дамир Хабирович Предельно монотонная сводимость и ее структурные свойства : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Зайнетдинов Дамир Хабирович ; [Казанский (Приволжский) федеральный университет]
1899   Encyklopadie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen : mit unterstutzung der Akademieen der Wissenschaften zu Munchen und Wien und der Gesellschaft der Wissenschaften zu Gottingen, sowie unter Mitwirkung Zahlreicher Fachgenossen. — T. 1, Bd 1, H. 4
2001 Бурлуцкий, Владимир Владимирович Реализация обратного метода установления выводимости для модальной логики КТ : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.01 / Бурлуцкий Владимир Владимирович ; [Том. гос. ун-т]
2008 Бондаренко, Владимир Александрович (доктор физико-математических наук) Геометрические конструкции и сложность в комбинаторной оптимизации / В. А. Бондаренко, А. Н. Максименко
1999 Верещагин, Николай Константинович (доктор физико-математических наук ; род. 1958) Лекции по математической логике и теории алгоритмов : [В 3 ч.]. [Ч.3], Вычислимые функции
Записей на стр.

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси