документы
об архиве
о проекте
Андрей Ершов
Switch to English
Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Шестой симпозиум по математическим основаниям вычислительной науки
Пребывание (Татранска Ломница)
Выступление, 08.09.1977
на панельной дискуссии "Многообразие вычислительной науки".
Реферат, 09.02.1978
статьи "Correctness of mixed computation in Algol-like programs".
По порядку |
По алфавиту
|
По дате
Switch to English
|
Поиск
|
Расширенный поиск
|
Папки
| Темы
Главная страница
Помощь
Switch to English
Вебмастер
©
ИСИ СО РАН
, 2000-2016
