Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=авторефераты В12<.>)
Общее количество найденных документов : 6 Показаны документы с 1 по 6

1..6

В12
В31

Верещагин, Николай Константинович.
Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени доктора физико-математических наук: Специальность 01.01.06 / Н. К. Верещагин. - М : Московский государственный университет им. М. В. Ломоносова, 1995. - 25с. : ил. -

ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
авторефераты В12

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

В12
П25

Пентус, Мати Рейнович.
Исчисление Ламбека и формальные грамматики [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 01.01.06 / М. Р. Пентус. - М : Московский государственный университет им. М. В. Ломоносова, 1996. - 12с. : ил. -

ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
авторефераты В12 -- формальные грамматики -- исчисление Ламбека

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

В12
М35

Митюнин, Владимир Александрович.
Алгоритмы вычисления базисов Гребнера и инволютивных базисов [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / В. А. Митюнин ; МГУ. - М. : [б. и.], 2004. - 17 с. - б/ц

ББК В12
Рубрики: Основания математики
Кл.слова (ненормированные):
авторефераты В12 -- алгоритмы вычисления -- базисы Гребнера -- инволютивные базисы

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

В12
Р93

Рыбаков, Михаил Николаевич.
Сложность пропозициональных логик с конечным числом переменных [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / М. Н. Рыбаков ; Тверской гос. ун-т ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2005. - 95 с. - б/ц

ББК В12
Рубрики: логика
Кл.слова (ненормированные):
авторефераты В12 -- математическая логика -- пропозициональные логики

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

В12
К84

Крупский, Николай Владимирович.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц

ББК В12
Рубрики: Математика
Логика
Кл.слова (ненормированные):
авторефераты В12 -- основания математики -- математическая логика -- теория доказательств -- рефлексивная комбинаторная логика

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

В12
К78

Кравцов, Алексей Геннадиевич.
О некоторых классах многомерных модальных логик [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / А. Г. Кравцов ; МГУ. - М. : [б. и.], 2006. - 11 с. - б/ц

ББК В12
Рубрики: логика
Кл.слова (ненормированные):
авторефераты В12 -- математическая логика -- модальные логики

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

1..6