Кафедра программирования механико-математического факультета Новосибирского государственного университета
В.И. Шелехов начал чтение полугодового спецкурса "Предикатное программирование".
Лекции проходят по средам в 14:15 в семинарской комнате ИСИ СО РАН (к. 254).