Lecture 2: Natural Proofs and feasible proofs of circuit lower bounds

Lecturer: 

Prof. Alexander Razborov, Steklov Mathematics Institute, Moscow, Russia

Date: 

Wed, 25/03/1998 - 16:00