LMS Computer Science Colloquium - Anupam Das (Birmingham)

views comments

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar.

Anupam Das (Birmingham)
The size of proofs: from mathematical logic to computational complexity and back