Примитивно рекурсивная реализуемость и конструктивная теория моделей: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / Витер Дмитрий Александрович
Сохранено в:
Вид документа: | |
---|---|
Автор: | Витер, Д. А. |
Опубликовано: | М. , 2002 |
Физические характеристики: |
12 с.
|
Язык: | Русский |
Предмет: |
ОФХ отдела книгохранения
Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
|