Home

Семинар 26 сентября 2003 года

Пятница, 26 сентября, комната 106. Начало в 19:00.

Докладчик: А. Куликов.

Тема: Системы доказательств, использующие кэширование формул (продолжение).