Skip to content

SAS

Seminar

Proof complexity and search problems

Thapen, N (Academy of Sciences of the Czech Republic)
Thursday 09 February 2012, 16:30-17:00

Seminar Room 1, Newton Institute

Video

Your browser can’t play this video. You do not appear to have a flash player installed.
Please download flash player or choose an alternative format instead.

Get Adobe Flash player

Available Video Formats

Back to top ∧