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

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

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

СТАРЫЕ и НОВЫЕ МЕТОДЫ АВТОМАТИЧЕСКОГО ПОИСКА ДОКАЗАТЕЛЬСТВ (продолжение)
Будет описано дерево поиска опровергающих моделей.