документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Теоретические исследования Абстрактные вычисления Чтение литературы Рабочие записи

	Рабочие записи сделанные при чтении работы Д. Лакомба "Recursion theoretic structure for relational systems". Дата: 19.08.1980- 21.08.1980 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Изображения страниц: 1 2 3 4 5 6 7 8 Назад Следующий документ (Рабочие записи) Предыдущий документ (Рабочие записи)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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