Документы, связанные с Александр Александрович Сулимов

Тезисы доклада А.А. Сулимов

В.А. Непомнящий, С.Г. Воробьев, А.А. Сулимов (Новосибирск) "Проблемно-ориентированная система верификации программ".
Тезисы доклада А.А. Сулимов

А.А. Сулимов (Новосибирск) "Система верификации трансляторов".
Извещение -> А.П. Ершов 04.04.1984

о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Не был (накладка)."/
Протокол №11 И.В. Поттосин 02.06.1993

заседания Ученого совета ИСИ СО РАН.
Протокол №17 И.В. Поттосин 28.09.1993

заседания Ученого совета ИСИ СО РАН.
Список В.А. Непомнящий 08.12.1993

научных трудов В.А. Непомнящего.
Протокол №12 В.И. Константинов 06.09.1994

заседания Ученого совета ИСИ СО РАН.
Выписка И.В. Поттосин 11.10.1994

из протокола №14 заседания Ученого совета ИСИ СО РАН - о выдвижении А.А. Сулимова на должность старшего научного сотрудника.
Протокол №14 И.В. Поттосин 11.10.1994

заседания Ученого совета ИСИ СО РАН.
Бюллетень (баллотировочный ) 11.10.1994

для тайного голосования Ученого совета ИСИ СО РАН по выдвижению Сулимова А.А. на должность старшего научного сотрудника.
Выписка И.В. Поттосин 11.10.1994

из протокола №14 заседания Ученого совета ИСИ СО РАН - о выдвижении В.Н. Касьянова в член-корреспонденты РАЕН.
Выписка И.В. Поттосин 14.02.1995

из протокола заседания Ученого совета ИСИ СО РАН - о новом составе аттестационной комиссии.