Воронцов Александр Павлович

Группа: 
112
Статус: 
Бакалавр
Тема работы: 

Исчисление алиасов и его связь с логикой отделимости

Рецензент: 
к.т.н. Шелехов Владимир Иванович, зав. лаб. ИСИ СО РАН9
Дата защиты: 
9 июня 2014 года
ГАК: 
2,3 - подкомиссия 1
Оценка государственной аттестационной комиссии: 
Хорошо