Laboratory of Mathematical Logic

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

Докладчик: С. И. Николенко.

Тема: Cutting Plane с ограниченной избыточностью.