City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Практика 13.
Propositional proof complexity

What: Seminar
When: Tuesday, 05 December 2017, 20:20–21:50
Where: ПОМИ РАН

Description

Обсуждение задания 13.

Attached files