First Page | Document Content | |
---|---|---|
![]() Date: 2008-12-17 14:33:43Computational 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 | Source URL: www.cs.uchicago.eduDownload Document from Source WebsiteFile Size: 81,19 KBShare Document on Facebook |