Информация для участников, 16.08.1983-24.08.1983
Доклад, 18.08.1983А.А.Летичевского "Abstract Data Types and Finding Invariants of Programs".
Рабочие записи, 16.08.1983-24.08.1983сделанные во время Конгресса.
Программа с дополнением, 15.08.1983Программа Конгресса и дополнение к ней в виде 8 выпусков Daily News.
Список, 15.08.1983участников Конгресса.
Приглашение, 16.08.1983на церемонию открытия Конгресса.
По порядку | По алфавиту | По дате |
