Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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] Некоторые простые примеры универсальных функций ДАН СССР, 190, № 1, 45-46 70.09.51 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Скордев Д. [1963] Изчислими и μ-рекурсивни оператори Изв. Мат. ин-та Бълг. АН, 7, 5-43 64.05.65 статья (болг.) Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Скордев Д. [1966] Об одном классе примитивно рекурсивных функций Годишник Унив. Софии, Фак. Матем., Инф., 1965-1966 (1967), 60, 105-111 68.08.51 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Скордев Д. [1966] Върху понятието рекурсивно пълна аритметична операция Годишник Унив. Софии, Фак. Матем., Инф., 1964-1965 (1966), 59, 117-136 67.01.66 статья (болг.) Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Скордев Д. [1964] Още един пример за рекурсивно пълна арифметична операция Годишник Унив. Софии, Фак. Матем., Инф., 1962-1963 (1964), 57, 1-7 65.04.64 статья (болг.) Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Скордев Д. [1973] Некоторые примеры универсальных функций, рекурсивно определяемых при помощи небольших систем равенств Cб. Исследования по теории ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.