Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Барздинь Я.М. [1970] О частотном решении алгоритмически неразрешимых массовых проблем ДАН СССР, 191, № 5, 967-970 70.09.56 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Барздинь Я.М. [1974] Об одном свойстве предельно вычислимых функционалов, Уч. зап. Латв. ун-та, 210, 20-24 75.01.130 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Барздинь Я.М. [1973] О частотном решении проблемы вхождения в рекурсивно перечислимое множество Труды Мат. ин-та АН СССР, 133, 52-58 74.01.89 статья Вернуться к ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Барздинь Я.М. [1971] Сложность и точность решения начальных кусков проблемы вхождения в рекурсивно перечислимое множество ДАН СССР, 199, № 2, 262-264 71.12.66 статья ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Б Бадаев С.А. Барздинь Я.М. Батыршин И.И. Белеградек О.В. БеляевВН БеляевВЯ Березин С.А. Березнюк С. Л. Бернайс П. Бокуть Л.А. Бубис М.И. Буйлина Е.М. Булитко В.К. Буллос ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.