документы
об архиве
о проекте
Андрей Ершов
Switch to English
Архив
ИФИП
Конгресс ИФИП-80
Титулы докладов
Резюме
Резюме
доклада А. Пнуэли, Н. Прайвза и С. Шастри.
Дата: 19.12.1979
Оригинальный язык документа: английский
Авторы:
А. Пнуэли
,
С. Шастри
,
Ноуа С. Прайвз
Организации:
ИФИП
Изображения страниц:
1
Назад
Следующий документ (Титульная страница)
Предыдущий документ (Титульная страница)
Switch to English
|
Поиск
|
Расширенный поиск
|
Папки
| Темы
Главная страница
Помощь
Switch to English
Вебмастер
©
ИСИ СО РАН
, 2000-2016