Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Цейтин Г.С. [1956] Относительно проблемы распознавания свойств ассоциативных исчислений ДАН СССР, 107, № 2, 209-212 57.3718 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Цейтин Г.С. [1956] Ассоциативное исчисление с неразрешимой проблемой эквивалентности ДАН СССР, 107, № 3, 370-371 57.3718 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Цейтин Г.С. [1958] Ассоциативное исчисление с неразрешимой проблемой эквивалентности Труды Мат. ин-та АН СССР, 52, 172-189 59.80 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Цейтин Г.С. [1964] Один способ изложения теории алгоритмов и перечислимых множеств Труды Мат. ин-та АН СССР, 72, 69-98 66.04.31 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ц Цейтин Г.С. Цинман Л.Л. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.