Очередное заседание клуба USER

 

ВНИМАНИЕ!

18 февраля 2011г. 11-20 (ауд.503) состоится очередное заседание клуба «User».

 

Тема:
"Применение логики в автоматическом доказательстве теорем"

 

Приглашаем всех желающих.

 

Кафедра информатики и математики