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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=определимость<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
Вид документа : Однотомное издание
Шифр издания : АР98-4358
Автор(ы) : Алаев П.Е.
Заглавие : Определимость в итерированных расширениях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06
Выходные данные : Новосибирск, 1998
Колич.характеристики :9 с.
Примечания : В надзаг. :Рос.АН. Сиб. отд-ние. Ин-т математики им.С.Л.Соболева. Библиогр.:с. 7-9(24 назв.)
ГРНТИ : 27.03.19
УДК : 510.67(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : АР99-2706
Автор(ы) : Шрайнер П.А.
Заглавие : Интерполяция и определимость в логиках конечных областей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06
Выходные данные : Новосибирск, 1998
Колич.характеристики :16 с.
Примечания : Библиогр.:с. 13-16(33 назв.)
ГРНТИ : 27.03.19
УДК : 510(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания : АР99-4665
Автор(ы) : Хисамиев А.Н.
Заглавие : Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06
Выходные данные : Новосибирск, 1999
Колич.характеристики :12 с.
Примечания : В надзаг. :Новосиб. гос. ун-т. Библиогр.:с. 11-12(17 назв.)
ГРНТИ : 27.03.17
УДК : 510.5(043)
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : Ар13-2344
Автор(ы) : Пузаренко В.Г.
Заглавие : Натуральные числа и обобщенная вычислимость : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06
Выходные данные : Новосибирск, 2013
Колич.характеристики :24 с.
Примечания : Библиогр.: с. 19-24 (67 назв.)
ГРНТИ : 27.15 + 27.03.19
УДК : 511(043) + 510(043)
Ключевые слова (''Своб.индексиров.''): математическая логика--определимость--теория моделей--теоретическая информатика
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)