Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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сийской академии наук / Библиография Лаврова И.А.