__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 321
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 20.11.92
Время: 15.00
_________________________________________________________________
Докладчик : Н.В.Шилов
Тема: Алгоритмы проверки истинности формул программных логик
__________________________________________________________________