——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Заседание N 458
3 ноября 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
——————————————————————
И.С.Ануреев
Системы переписывания формул и
их применение в автоматической верификации программ
——————————————————————