Skip to content

LAA

Seminar

Meta complexity of propositional proofs

Naumov, P (McDaniel College)
Thursday 13 April 2006, 14:00-14:30

Seminar Room 1, Newton Institute

Back to top ∧