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