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

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

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

Виды поиска: 
Стандартный Расширенный По словарю

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


    Ершов, Ю. Л.
    Обобщенная вычислимость и определимость [Текст] : сборник науч.трудов / Под ред.Ю.Л.Ершова,С.С.Гончарова.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1998. - 175с. - (Вычислительные системы.Вып.161). - 15.00 р.
ББК В12я43
Рубрики: основания математики
   кибернетика

Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- семантическое программирование -- теория моделей -- математические модели вычислимости

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

 1..1