Пошуковий запит: (<.>U=В127.4<.>) |
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
|
1. ![](/irbis_nbuv/images/printer.jpg) | ДС59896 Маранджян, Грант Бабкенович. Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
2. ![](/irbis_nbuv/images/printer.jpg) | ДС71126 Вербицкий, Олег Васильевич. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения [Текст] : дис...канд. физ.-мат. наук: 01.01.06 / Вербицкий Олег Васильевич ; Московский гос. ун-т им. М.В.Ломоносова. - М., 1994. - 73 л. - Библиогр.:л.69-73Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Московский гос. университет имени М. В. Ломоносова
Видання зберігається у :
Основний фонд
|
3. ![](/irbis_nbuv/images/printer.jpg) | ДС100189 Вербіцький, Олег Васильович. Ігрові та екстремальні задачі комбінаторики із застосуваннями в теорії складності [Текст] : дис... д-ра фіз.-мат. наук: 01.01.08 / Вербіцький Олег Васильович ; Київ. нац. ун-т ім. Тараса Шевченка. Мех.-мат. фак., Ін-т приклад. пробл. механіки і математики ім. Я. С. Підстригача НАН України. - К., 2006. - 292 арк. - Бібліогр.: арк. 272-292.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка. Механіко-математичний факультет; Національна академія наук України; Інститут прикладних проблем механіки і математики імені Я. С. Підстригача (Львів)
Видання зберігається у :
Основний фонд
|
4. ![](/irbis_nbuv/images/printer.jpg) | РА301190 Беклемишев, Лев Дмитриевич. Схемы рефлексии в формальной арифметике [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.01.06 / Беклемишев Лев Дмитриевич ; РАН, Математический ин-т им. В.А.Стеклова. - М., 1998. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Математический институт имени В. А. Стеклова; РАН; Математический институт имени В. А. Стеклова
Видання зберігається у :
Основний фонд
|
5. ![](/irbis_nbuv/images/printer.jpg) | РА349180 Вербіцький, Олег Васильович. Ігрові та екстремальні задачі комбінаторики із застосуваннями в теорії складності [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.01.08 / Вербіцький Олег Васильович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 35 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
6. ![](/irbis_nbuv/images/printer.jpg) | РА352369 Саядян, Сергей Мушегович. Исследование сложностей выводов в системах неклассических логик [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Саядян Сергей Мушегович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
7. ![](/irbis_nbuv/images/printer.jpg) | Р92100 Ворожцов, А. В.. Прогнозирование и теория сложности [Текст] / А. В. Ворожцов. - М. : [б.и.], 2001. - 17 с. - (Препринт / Институт прикладной математики им. М.В.Келдыша РАН ; № 18)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт прикладной математики имени М. В. Келдыша РАН
Видання зберігається у :
|
8. ![](/irbis_nbuv/images/printer.jpg) | Р92101 Ворожцов, А. В.. Алгебраические методы определения сложности [Текст] / А. В. Ворожцов. - М. : [б.и.], 2001. - 20 с.: рис. - (Препринт / Институт прикладной математики им. М.В.Келдыша РАН ; № 17)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт прикладной математики имени М. В. Келдыша РАН
Видання зберігається у :
|
9. ![](/irbis_nbuv/images/printer.jpg) | Р92103 Ворожцов, А. В.. Цепные дроби, сложность рациональных чисел и языки описания с бесконечным алфавитом [Текст] / А. В. Ворожцов. - М. : [б.и.], 2001. - 19 с.: рис. - (Препринт / Институт прикладной математики им. М.В.Келдыша РАН ; № 19)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт прикладной математики имени М. В. Келдыша РАН
Видання зберігається у :
|
10. ![](/irbis_nbuv/images/printer.jpg) | ВА648795 Панішев, Анатолій Васильович. Вступ до теорії складності дискретних задач [Текст] / А. В. Панішев [и др.] ; Житомирський держ. технологічний ун-т. - Житомир : ЖДТУ, 2004. - 326 с.: рис. - Бібліогр.: с. 316-319. - ISBN 966-683-070-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Данильченко, Олександр Михайлович; Скачков, Володимир Олександрович; Житомирський державний технологічний університет
Видання зберігається у :
Основний фонд
|
11. ![](/irbis_nbuv/images/printer.jpg) | РА381471 Налбандян, Акоп Симонович. Эффективность разновидностей правила подстановки для классических и неклассических логических систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Налбандян Акоп Симонович ; Ереван. гос. ун-т. - Ереван, 2011. - 18 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
12. ![](/irbis_nbuv/images/printer.jpg) | ІВ216445 Li, Ming. An introduction to Kolmogorov complexity and its applications [Text] / Ming Li, Paul Vitányi. - New York[etc.] : Springer-Verlag, 1993. - 546 p. - (Texts and monographs in computer science). - Бібліогр.: с. 493-525. - ISBN 0-387-94053-7. - ISBN 3-540-94053-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Vitányi, Paul
Видання зберігається у :
Основний фонд
|
13. ![](/irbis_nbuv/images/printer.jpg) | ВС55483 Ершов, Юрий Леонидович. Алгоритмы и вычислимость в человеческом познании [Текст] : [монография] / Ю. Л. Ершов, В. В. Целищев ; науч. ред.: д-р филос. наук К. Ф. Самохвалов, д-р физ.-мат. наук А. С. Морозов ; Рос. акад. наук, Сибир. отд-ние, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497 с. - (Интеграционные проекты СО РАН ; вып. 40). - Парал. тит. арк. англ. - Бібліогр.: с. 490-497. - 330 прим. - ISBN 978-5-7692-1248-8 (Вып. 40). - ISBN 978-5-7692-0669-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Целищев, Виталий Валентинович; Самохвалов, К. Ф. (ред.); Морозов, А. С. (ред.); Российская академия наук. Сибирское отделение; Институт математики имени С. Л. Соболева (Новосибирск); Институт философии и права (Екатеринбург)
Видання зберігається у :
Основний фонд
|