————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
————————————————————
Заседание N 469
9 марта 1999
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
Мурзина В.Ф.
Полимодальная логика на основе А-пространств
————————————————————