Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международный симпозиум "Алгоритм в современной математике и ее приложениях"
Материалы симпозиума
Статья
Статья
"Преобразователи Черча-Россера и разрешимые свойства обработки деревьев".
Дата: 07.12.1979
Названия статей: "Преобразователи Черча - Россера и разрешимые свойства обработки деревьев"
Оригинальный язык документа: русский
Авторы: Анатолий Васильевич Анисимов

Изображения страниц:
1 2 3 4 5 6 7 8 9


Назад
Следующий документ (Пометки)
Предыдущий документ (Пометки)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016