Back to Results
First PageMeta Content
Computational complexity theory / Logic in computer science / Alexander Razborov / Automated theorem proving / Natural proof / Nevanlinna Prize / Proof complexity / Frege system / Steven Rudich / Theoretical computer science / Applied mathematics / Mathematics


Document Date: 2008-12-17 14:33:43

Open Document

File Size: 81,19 KB

Share Result on Facebook
UPDATE