Lecture 1: Complexity of proofs and computations

Lecturer: 

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

Date: 

Mon, 23/03/1998 - 16:00