18 февраля 2011г. 11-20 (ауд.503) состоится очередное заседание клуба «User».
Тема:"Применение логики в автоматическом доказательстве теорем"
Приглашаем всех желающих.
Кафедра информатики и математики