Семинар 20 декабря 2002 года

Пятница, 20 декабря, комната 106. Начало в 16:30.

Докладчик: В. П. Оревков.

СТАРЫЕ и НОВЫЕ МЕТОДЫ АВТОМАТИЧЕСКОГО ПОИСКА ДОКАЗАТЕЛЬСТВ (четвертое продолжение)
ВНИМАНИЕ: доклад будет продолжаться в два раза дольше обычного.