Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Трахтенброт Б.А. [1965] Оптимальные вычисления и частотное явление Яблонского Алгебра и логика, 4, № 5, 79-93 66.В12.214 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1964] Тьюринговы вычисления с логарифмическим замедлением Алгебра и логика, 3, № 4, 33-48 65.04.65 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1953] О рекурсивной отделимости ДАН СССР, 88, № 6, 953-956 53.13 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1967] Сложность алгоритмов и вычислений Новосибирск, Из-во НГУ ? O книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1955] Табличное представление рекурсивных операторов ДАН СССР, 101, № 3, 417-420 56.4282 RO статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1973] Частотные вычисления Труды Мат. ин-та АН СССР, 133.221-232 74.01.98 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1957] [1960] Алгоритмы и машинное решение задач М., Гостехиздат М., Физматгиз 59.10778 61.10.366 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1950] Невозможность алгорифма для проблемы разрешимости на конечных классах ДАН СССР, 70, № 4 , 569-572 ~ R статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1963] О частотном вычислении функций Алгебра и логика, 2, № 1, 25-32 63.10.60 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1970] Об автосводимости ДАН СССР, 192, № 6, 1224-1227 70.11.52 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1974] Алгоритмы и вычислительные автоматы М., Советское радио 74.В6.749 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1956] Определение конечного множества и дедуктивная неполнота теории множеств Изв. АН СССР, сер. мат., 20, 569-582 59.10742 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1974] Замечания о сложности вычислений на вероятностных машинах Cб. Теория алгоритмов и матем. логика, М., ВЦ СО АН СССР, 159-176 ? статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Трахтенброт Б.А. [1973] Автосводимые и неавтосводимые предикаты и множества Сб. Исследования по теории алгорифмов и математической логике, т. 1, М., ВЦ АН СССР,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кузнецов А.В., Трахтенброт Б.А. [1955] Исследование частично-рекурсивных операторов средствами теории бэровского пространства ДАН СССР, 105, № 5, 897-900 56.8530 RO статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Т Тайманов А.Д.. Тайцлин М.А. Таласбаева Ж.Т. Тамме Т. Тербер Дж. Титов Н.Н. Трахтенброт Б.А. Тусупов Д. А. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.