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
Семенов А.Л. [1986] Разрешающие алгоритмы для логических теорий Кибернет. и вычислит. тех., М., в.2, 134-146 86.09.55 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Семенов А.Л. [1978] Некоторые алгоритмические проблемы для систем алгоритмических алгебр ДАН СССР, 239, № 5, 1063-1066 78.В10.719 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Семенов А.Л. [1983] Логические теории одноместных функций на натуральном ряде Изв. АН СССР, сер. мат., 47, № 3, 623-658 83.12.79 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Успенский В.А., Семенов А.Л. [1987] Теория алгоритмов: основные открытия и применения М., Наука (Имеется перевод на английский язык) 87.09.24 G книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Uspensky V.A.,Semenov A.L. [1993] Algorithms: Main Ideas and Applications Kluwer Academic Publishers (Перевод книги Успенский В.А., Семенов А.Л. "Теория алгоритмов: основные открытия и применения", М., Наука, 1987.) ? book Вернуться к поиску
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.