Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 165
Показаны документы с 1 по 30 |
|
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-5823
Ахтямов, Р. Б. Сложностные свойства индексных множеств [Текст] : автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов. - Новосибирск, 1991. - 16 с В надзаг.: АН СССР.Сиб.отд-ние.Ин-т математики. Библиогр.: с. 13-16(38назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-5884
Федоряев, С. Т. Структурные свойства алгебраической сводимости конструктивизаций [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев. - Новосибирск, 1991. - 11 с В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики,Специализ.Совет Д.002.23.01. Библиогр.: с. 10-11(28назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-6114
Заурбеков, С. С. Оценки алгоритмической сложности некоторых семантических классов предложений [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков. - Новосибирск, 1991. - 10 с В надзаг.: Казах.гос.ун-т им.С.М.Кирова. Библиогр.: с. 9-10(13назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-6088
Хасидашвили, З. О. Системы редукции форм и редукции сокращенных форм и -термов [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили. - Кишинев, 1991. - 14 с В надзаг.: Акад.наук ССР Молдовы,Ин-т математики с ВЦ. Библиогр.: с. 14(8 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-68
Судоплатов, С. В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов. - Новосибирск, 1990. - 13 с В надзаг.: АН СССР.Сибир.отд-ние,Ин-т математики. Библиогр.: с. 12-13(21назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-305
Хисамиев, Н. Г. Конструктивные абелевы группы [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев. - Новосибирск, 1990. - 24 с. В надзаг.: АН СССР,Сибир.отд-ние,Ин-т математики. Библиогр.: с. 20-24(60назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-306
Морозов, А. С. Группы вычислительных автоморфизмов [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов. - Новосибирск, 1990. - 15 с В надзаг.: АН СССР,Сибир.отд-ние,Ин-т математики. Библиогр.: с. 11-15(43назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-15493
Вайценавичюс, Р. Ю. Главные нумерации вычислимых функционалов на допустимых множествах [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс. - Б.м., 1991. - 11 с. В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 10-11(17 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-1566
Важенин, Ю. М. Критические теории первого порядка [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин. - Новосибирск, 1992. - 21 с. В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 16-21(73 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-2462
Симонова, И. Г. Доказуемостно-интуиционистская логика и ее расширения [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова. - Кишинев, 1992. - 16 с В надзаг.: АН Респ.Молдова,Ин-т математики с ВЦ. Библиогр.: с. 14-16.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-1974
Любецкий, В. А. Оценки и пучки теоремы переноса [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий. - М., 1991. - 34 с. : ил В надзаг.: АН СССР,Ин-т проблем передачи информ.Специализ.совет Д.003.29.01. Библиогр.: с. 28-34(67назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-3800
Омаров, А. И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров. - Новосибирск, 1992. - 19 с В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики,Специализир.совет Д 002.23.01. Библиогр.: с. 14-19(68 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>13. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-8861
Белякин, Н. В. Теория вычислений с оракулами и рекурсивных иерархий [Текст] : автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин. - Новосибирск, 1992. - 23 с В надзаг.: Рос.АН,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 22-23(42назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>14. ![](/irbis64r_simplesite/images/printer.jpg)
| АР93-6789
Касымов, Н. Х. Рекурсивно отделимые нумерованные алгебры [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов. - Новосибирск, 1993. - 16 с. В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики. Библиогр.: с.13-16(49 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>15. ![](/irbis64r_simplesite/images/printer.jpg)
| АР94-1867
Архангельский, Д. А. Информационные логики [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский. - СПб., 1993. - 16 с В надзаг.: Санкт-Петербург. гос. ун-т. Библиогр.:с.15-16
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>16. ![](/irbis64r_simplesite/images/printer.jpg)
| АР94-2650
Венцов, Ю. Г. Условия эффективности выбора в теории конструктивных моделей [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов. - Новосибирск, 1994. - 20 с В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики. Библиогр.:с.17-20 (44 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>17. ![](/irbis64r_simplesite/images/printer.jpg)
| АР94-3943
Победин, Л. Н. Теория вычислений с двуместными оракулами [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин. - Омск, 1993. - 10 с. В надзаг.: Ом.гос.ун-т.Специализир.совет К 064.36.02. Библиогр.: с.10(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>18. ![](/irbis64r_simplesite/images/printer.jpg)
| АР94-4777
Пантелеев, В. И. Полиномиальные разложения конечнозначных функций [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев. - Омск, 1994. - 14 с. В надзаг.: Омский гос. ун-т. Библиогр.: с.14(4 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>19. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-2168
Чашкин, А. В. О сложности булевых матриц [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин. - М., 1994. - 12 с. В надзаг.: МГУ им.М.В.Ломоносова,Мех.-мат.фак. Библиогр.: с.12
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>20. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-4078
Белеградек, О. В. Теория моделей унитреугольных и экзистенциально замкнутых групп [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек. - Новосибирск, 1995. - 32 с. В надзаг.: Рос.АН,Сиб.отд-ние,Ин-т математики. Библиогр.: с.27-32(85 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>21. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-4536
Хомич, В. И. Проблема отделимости в пропозициональных исчислениях [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич. - М., 1995. - 27 с. В надзаг.: Рос.АН.Вычислит.центр. Библиогр.: с.23-27(56назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>22. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-5775
Машурян, А. С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян. - Ереван, 1995. - 14 с. В надзаг.: Ереван.гос.ун-т, Ин-т проблем информатики и автоматизации. Библиогр.: с.11-13 (13 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>23. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-6409
Верещагин, Н. К. Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин. - М., 1995. - 25 с В надзаг.: МГУ им. М.В.Ломоносова, Мех.-мат. фак. Библиогр.:с.24-25 (8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>24. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-1542
Ешкеев, А. Р. Ионсоновские теории [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев. - Алматы, 1995. - 17 с. : ил В надзаг.:Национал. акад. наук Респ. Казахстан. Ин-т теорет. и приклад. математики. Библиогр.:с.16 (8назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>25. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-1573
Кудинов, О. В. Автоустойчивость конструктивных моделей [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов. - Новосибирск, 1995. - 12 с. В надзаг. : Рос.АН,Сиб.отд-ние,Ин-т математики им.С.Л.Соболева.Библиогр.:с. 10-12(27 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>26. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-2070
Бабенышев, С. В. Исследования допустимых правил в нестандартных логиках [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев. - Красноярск, 1995. - 13 с. : ил Библиогр.:с. 13-14(13 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>27. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-5583
Ашаев, И. В. Алгоритмическая вычислимость над произвольными алгебраическими системами [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев. - Омск, 1996. - 11 с. В надзаг. :Омский гос.ун-т. Библиогр.:с. 10-11
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>28. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-6214
Бадаев, С. А. Минимальные нумерации [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев. - Новосибирск, 1996. - 18 с. В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики. Библиогр.:с. 14-18(45 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>29. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-6564
Коровина, М. В. Обобщенная вычислимость над полем действительных чисел [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина. - Новосибирск, 1996. - 12 с. В надзаг. :Рос.АН.Сиб.отд-ние.Ин-т математики им.С.Л.Соболева. Библиогр.:с. 11-12(15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>30. ![](/irbis64r_simplesite/images/printer.jpg)
| АР97-1047
Найденко, В. Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко. - Минск, 1997. - 16 с. В надзаг. : АН Республики Беларусь. Ин-т Математики. Библиогр.:с. 13(11назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|