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

Архив Редакционно-издательская деятельность Работа в журнале "Information Processing Letters" IPL. Статья В.К. Сабельфельда (1979) Обложка

	Обложка с хронологией работы над статьей. Дата: 02.11.1979- 18.03.1980 Названия статей: "The logic-termal equivalence is polynomial-time decidable". Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Персоналии: Виктор Карлович Сабельфельд, Борис Абрамович Трахтенброт Изображения страниц: 1 Назад Предыдущий документ (Почтовая карточка)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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