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

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

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

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

    Ершов, Ю. Л.
    Структурные алгоритмические свойства вычислимости [Текст] : сборник науч.трудов / Науч.ред.Ю.Л.Ершов,С.С.Гончаров.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1996. - 152с. - (Вычислительные системы.Вып.156). - 10.00 р.
ББК В12я43
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- вычислимость -- универсальные алгебры -- интерированные модели

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