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