Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Поиск
Барздинь Я.М. [1970] О частотном решении алгоритмически неразрешимых массовых проблем ДАН СССР, 191, № 5, 967-970 70.09.56 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Барздинь Я.М. [1974] Об одном свойстве предельно вычислимых функционалов, Уч. зап. Латв. ун-та, 210, 20-24 75.01.130 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Барздинь Я.М. [1973] О частотном решении проблемы вхождения в рекурсивно перечислимое множество Труды Мат. ин-та АН СССР, 133, 52-58 74.01.89 статья Вернуться к ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Барздинь Я.М. [1971] Сложность и точность решения начальных кусков проблемы вхождения в рекурсивно перечислимое множество ДАН СССР, 199, № 2, 262-264 71.12.66 статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Б Бадаев С.А. Барздинь Я.М. Батыршин И.И. Белеградек О.В. БеляевВН БеляевВЯ Березин С.А. Березнюк С. Л. Бернайс П. Бокуть Л.А. Бубис М.И. Буйлина Е.М. Булитко В.К. Буллос ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.