Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=авторефераты В12<.>)
Общее количество найденных документов
:
6
Показаны документы
с 1 по 6
1..6
1.
В12
В31
Верещагин, Николай Константинович
.
Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени доктора физико-математических наук: Специальность 01.01.06 / Н. К. Верещагин. - М : Московский государственный университет им. М. В. Ломоносова, 1995. - 25с. : ил. -
ББК
В12
Рубрики:
Математическая логика
Кл.слова (ненормированные):
авторефераты
В12
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
2.
В12
П25
Пентус, Мати Рейнович
.
Исчисление Ламбека и формальные грамматики [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 01.01.06 / М. Р. Пентус. - М : Московский государственный университет им. М. В. Ломоносова, 1996. - 12с. : ил. -
ББК
В12
Рубрики:
Математическая логика
Кл.слова (ненормированные):
авторефераты
В12
--
формальные грамматики
--
исчисление Ламбека
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
3.
В12
М35
Митюнин, Владимир Александрович
.
Алгоритмы вычисления базисов Гребнера и инволютивных базисов [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / В. А. Митюнин ; МГУ. - М. : [б. и.], 2004. - 17 с. - б/ц
ББК
В12
Рубрики:
Основания математики
Кл.слова (ненормированные):
авторефераты
В12
--
алгоритмы вычисления
--
базисы Гребнера
--
инволютивные базисы
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
4.
В12
Р93
Рыбаков, Михаил Николаевич
.
Сложность пропозициональных логик с конечным числом переменных [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / М. Н. Рыбаков ; Тверской гос. ун-т ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2005. - 95 с. - б/ц
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
авторефераты
В12
--
математическая логика
--
пропозициональные логики
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
5.
В12
К84
Крупский, Николай Владимирович
.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц
ББК
В12
Рубрики:
Математика
Логика
Кл.слова (ненормированные):
авторефераты
В12
--
основания математики
--
математическая логика
--
теория доказательств
--
рефлексивная комбинаторная логика
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
6.
В12
К78
Кравцов, Алексей Геннадиевич
.
О некоторых классах многомерных модальных логик [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / А. Г. Кравцов ; МГУ. - М. : [б. и.], 2006. - 11 с. - б/ц
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
авторефераты
В12
--
математическая логика
--
модальные логики
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
1..6