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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.17$<.>)
Общее количество найденных документов : 39
Показаны документы с 1 по 30
 1-30    31-39 
1.
Ямалеев М.М. Структурные свойства тьюринговых степеней множеств из иерархии Ершова/М. М. Ямалеев. - 2009
2.
Волков С.А. Конечные базисы по суперпозиции в классах элементарных рекурсивных функций/С. А. Волков. - 2009
3.
Калимуллин И.Ш. Алгоритмические сводимости счетных алгебраических систем/И. Ш. Калимуллин. - 2009
4.
Притыкин Ю.Л. Алгоритмические свойства последовательностей, близких к периодическим/Ю. Л. Притыкин. - 2009
5.
Батыршин И.И. Свойства квази-сводимости и иерархии Ершова/И. И. Батыршин. - 2008
6.
Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней. - 2003
7.
Стукачев А.И. Вычислимость в допустимых множествах. - 2002
8.
Воробьев Ф.Ю. О предельных свойствах случайных КНФ/Ф. Ю. Воробьев. - 2008
9.
Рыбалов А.Н. Сложность вычислений в алгебраических системах/А. Н. Рыбалов. - 2005
10.
Дехтярь М.И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование/М. И. Дехтярь. - 2009
11.
Баранов Д.В. Эквациональные LP-структуры и их приложения в системах переписывания/Д. В. Баранов. - 2013
12.
Деменков Е.А. Верхние и нижние оценки на схемную сложность явно заданных булевых функций/Е. А. Деменков. - 2013
13.
Соколов Д.О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении/Д. О. Соколов. - 2014
14.
Лысиков В.В. Некоторые вопросы теории сложности билинейных отображений/В. В. Лысиков. - 2013
15.
Быкова В.В. Методы анализа и разработки параметризированных алгоритмов/В. В. Быкова. - 2012
16.
Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней/С. Ю. Подзоров. - 2010
17.
Подольский В.В. Оценки весов персептронов (полиномиальных пороговых булевых функций)/В. В. Подольский. - 2009
18.
Чокаев Б.В. Мультипликативная сложность умножения в алгебрах/Б. В. Чокаев. - 2012
19.
Файзрахманов М.Х. Тьюринговые скачки в иерархии Ершова/М. Х. Файзрахманов. - 2011
20.
Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике. - 2003
21.
Бадаев С.А. Минимальные нумерации. - 1996
22.
Ашаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами. - 1996
23.
Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач. - 1997
24.
Коровина М.В. Обобщенная вычислимость над полем действительных чисел. - 1996
25.
Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений. - 1995
26.
Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений . - 1991
27.
Ахтямов Р.Б. Сложностные свойства индексных множеств. - 1991
28.
Чашкин А.В. О сложности булевых матриц. - 1994
29.
Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий. - 1992
30.
Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами. - 1998
 1-30    31-39 
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)