Home

Семинар 18 июня 2002 года

Вторник, 18 июня, комната 412. Начало в 15:00.

Докладчик: Б. Ю. Конев.

СУБЪЕКТИВНЫЙ ВЗГЛЯД НА СИСТЕМЫ АВТОМАТИЧЕСКОГО ВЫВОДА ТЕОРЕМ