Главная страница

Базы данных


- результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510(043)<.>)
Общее количество найденных документов : 82
Показаны документы с 1 по 10
 1-10    11-20   21-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-306

    Морозов, А. С.
    Группы вычислительных автоморфизмов [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов. - Новосибирск, 1990. - 15 с
В надзаг.: АН СССР,Сибир.отд-ние,Ин-т математики. Библиогр.: с. 11-15(43назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
7.
АР91-15493

    Вайценавичюс, Р. Ю.
    Главные нумерации вычислимых функционалов на допустимых множествах [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс. - Б.м., 1991. - 11 с.
В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 10-11(17 назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
8.
АР92-1566

    Важенин, Ю. М.
    Критические теории первого порядка [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин. - Новосибирск, 1992. - 21 с.
В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 16-21(73 назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
9.
АР92-2462

    Симонова, И. Г.
    Доказуемостно-интуиционистская логика и ее расширения [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова. - Кишинев, 1992. - 16 с
В надзаг.: АН Респ.Молдова,Ин-т математики с ВЦ. Библиогр.: с. 14-16.

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
10.
АР92-1974

    Любецкий, В. А.
    Оценки и пучки теоремы переноса [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий. - М., 1991. - 34 с. : ил
В надзаг.: АН СССР,Ин-т проблем передачи информ.Специализ.совет Д.003.29.01. Библиогр.: с. 28-34(67назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
 1-10    11-20   21-30      

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)