Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Семенов А.Л. [1986] Разрешающие алгоритмы для логических теорий Кибернет. и вычислит. тех., М., в.2, 134-146 86.09.55 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Семенов А.Л. [1978] Некоторые алгоритмические проблемы для систем алгоритмических алгебр ДАН СССР, 239, № 5, 1063-1066 78.В10.719 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Семенов А.Л. [1983] Логические теории одноместных функций на натуральном ряде Изв. АН СССР, сер. мат., 47, № 3, 623-658 83.12.79 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А., Семенов А.Л. [1987] Теория алгоритмов: основные открытия и применения М., Наука (Имеется перевод на английский язык) 87.09.24 G книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Uspensky V.A.,Semenov A.L. [1993] Algorithms: Main Ideas and Applications Kluwer Academic Publishers (Перевод книги Успенский В.А., Семенов А.Л. "Теория алгоритмов: основные открытия и применения", М., Наука, 1987.) ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.