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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=определимость<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
Алаев П.Е. Определимость в итерированных расширениях. - 1998
2.
Шрайнер П.А. Интерполяция и определимость в логиках конечных областей. - 1998
3.
Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах. - 1999
4.
Пузаренко В.Г. Натуральные числа и обобщенная вычислимость/В. Г. Пузаренко. - 2013

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