Логин (фамилия): Пароль (штрих-код):

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

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=модальные логики<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
 1..2 
1.
В12я54
М34

   
    Математическая логика и алгоритмические проблемы [Текст] : нелитературный текст / Отв. ред. Ю. Л. Ершов; АН СССР. Сибирское отд-ние. - Новосибирск : Наука, 1989. - 189 с. - (Труды Ин-та математики, том.12). - ISBN 5-02-028623-0 : 20.00 р.
ББК В12я54
Рубрики: основания математики
   логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- модальные логики -- алгоритмы -- теория алгоритмов

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В12
К78

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

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