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

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

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

Description

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

Attached files