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

Архив Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы Международный математический конгресс Тезисы

	Тезисы возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года. Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Персоналии: Владимир Эммануилович Иткин, Андрей Петрович Ершов, Николай Андреевич Криницкий, Александр Адольфович Летичевский, Виктор Карлович Сабельфельд, Джон Маккарти, Юрий Иванович Янов Изображения страниц: 1 2 Назад
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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