Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Доклады АН СССР
Связанные издания:
Об ая форма стационарного кинетического уравнения сложной каталитической реакции (линейный многомаршрутный механизм)
Об одном базисе для рекурсивно-перечислимых множеств
О полноте операций в операторных алгоритмах
Полиномиальная оценка сложности распознавания логико-терминальной эквивалентности
Рудиментарные предикаты и тьюринговые вычисления
Смешанные вычисления для программ над конечно-определенной памятью с жестким разбиением
Транспортная задача по времени в теории графов