АР91-5823 Ахтямов, Р. Б. Сложностные свойства индексных множеств [Текст] : автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов. - Новосибирск, 1991. - 16 с В надзаг.: АН СССР.Сиб.отд-ние.Ин-т математики. Библиогр.: с. 13-16(38назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-5884 Федоряев, С. Т. Структурные свойства алгебраической сводимости конструктивизаций [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев. - Новосибирск, 1991. - 11 с В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики,Специализ.Совет Д.002.23.01. Библиогр.: с. 10-11(28назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-6114 Заурбеков, С. С. Оценки алгоритмической сложности некоторых семантических классов предложений [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков. - Новосибирск, 1991. - 10 с В надзаг.: Казах.гос.ун-т им.С.М.Кирова. Библиогр.: с. 9-10(13назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-6088 Хасидашвили, З. О. Системы редукции форм и редукции сокращенных форм и -термов [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили. - Кишинев, 1991. - 14 с В надзаг.: Акад.наук ССР Молдовы,Ин-т математики с ВЦ. Библиогр.: с. 14(8 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-68 Судоплатов, С. В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов. - Новосибирск, 1990. - 13 с В надзаг.: АН СССР.Сибир.отд-ние,Ин-т математики. Библиогр.: с. 12-13(21назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-306 Морозов, А. С. Группы вычислительных автоморфизмов [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов. - Новосибирск, 1990. - 15 с В надзаг.: АН СССР,Сибир.отд-ние,Ин-т математики. Библиогр.: с. 11-15(43назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-15493 Вайценавичюс, Р. Ю. Главные нумерации вычислимых функционалов на допустимых множествах [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс. - Б.м., 1991. - 11 с. В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 10-11(17 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-1566 Важенин, Ю. М. Критические теории первого порядка [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин. - Новосибирск, 1992. - 21 с. В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 16-21(73 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-2462 Симонова, И. Г. Доказуемостно-интуиционистская логика и ее расширения [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова. - Кишинев, 1992. - 16 с В надзаг.: АН Респ.Молдова,Ин-т математики с ВЦ. Библиогр.: с. 14-16.
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-1974 Любецкий, В. А. Оценки и пучки теоремы переноса [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий. - М., 1991. - 34 с. : ил В надзаг.: АН СССР,Ин-т проблем передачи информ.Специализ.совет Д.003.29.01. Библиогр.: с. 28-34(67назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-3800 Омаров, А. И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров. - Новосибирск, 1992. - 19 с В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики,Специализир.совет Д 002.23.01. Библиогр.: с. 14-19(68 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-8861 Белякин, Н. В. Теория вычислений с оракулами и рекурсивных иерархий [Текст] : автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин. - Новосибирск, 1992. - 23 с В надзаг.: Рос.АН,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 22-23(42назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР93-6789 Касымов, Н. Х. Рекурсивно отделимые нумерованные алгебры [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов. - Новосибирск, 1993. - 16 с. В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики. Библиогр.: с.13-16(49 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-1867 Архангельский, Д. А. Информационные логики [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский. - СПб., 1993. - 16 с В надзаг.: Санкт-Петербург. гос. ун-т. Библиогр.:с.15-16
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-2650 Венцов, Ю. Г. Условия эффективности выбора в теории конструктивных моделей [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов. - Новосибирск, 1994. - 20 с В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики. Библиогр.:с.17-20 (44 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-3943 Победин, Л. Н. Теория вычислений с двуместными оракулами [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин. - Омск, 1993. - 10 с. В надзаг.: Ом.гос.ун-т.Специализир.совет К 064.36.02. Библиогр.: с.10(9 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-4777 Пантелеев, В. И. Полиномиальные разложения конечнозначных функций [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев. - Омск, 1994. - 14 с. В надзаг.: Омский гос. ун-т. Библиогр.: с.14(4 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-4078 Белеградек, О. В. Теория моделей унитреугольных и экзистенциально замкнутых групп [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек. - Новосибирск, 1995. - 32 с. В надзаг.: Рос.АН,Сиб.отд-ние,Ин-т математики. Библиогр.: с.27-32(85 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-4536 Хомич, В. И. Проблема отделимости в пропозициональных исчислениях [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич. - М., 1995. - 27 с. В надзаг.: Рос.АН.Вычислит.центр. Библиогр.: с.23-27(56назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-5775 Машурян, А. С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян. - Ереван, 1995. - 14 с. В надзаг.: Ереван.гос.ун-т, Ин-т проблем информатики и автоматизации. Библиогр.: с.11-13 (13 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |