Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Stephen_Cook> ?p ?o }
- Stephen_Cook abstract "Stephen Arthur Cook, OC OOnt (born December 14, 1939) is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity. He is currently a university professor at the University of Toronto, Department of Computer Science and Department of Mathematics.".
- Stephen_Cook almaMater Harvard_University.
- Stephen_Cook almaMater University_of_Michigan.
- Stephen_Cook award Bernard_Bolzano_Medal.
- Stephen_Cook award CRM-Fields-PIMS_prize.
- Stephen_Cook award Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering.
- Stephen_Cook award John_L._Synge_Award.
- Stephen_Cook award Turing_Award.
- Stephen_Cook birthDate "1939-12-14".
- Stephen_Cook birthPlace Buffalo,_New_York.
- Stephen_Cook birthPlace New_York.
- Stephen_Cook birthYear "1939".
- Stephen_Cook doctoralAdvisor Hao_Wang_(academic).
- Stephen_Cook doctoralStudent Paul_Beame.
- Stephen_Cook doctoralStudent Robert_A._Reckhow.
- Stephen_Cook doctoralStudent Toniann_Pitassi.
- Stephen_Cook doctoralStudent Valentine_Kabanets.
- Stephen_Cook doctoralStudent Walter_Savitch.
- Stephen_Cook field Computer_science.
- Stephen_Cook knownFor Cook–Levin_theorem.
- Stephen_Cook knownFor NP-completeness.
- Stephen_Cook knownFor Proof_complexity.
- Stephen_Cook thumbnail Prof.Cook.jpg?width=300.
- Stephen_Cook wikiPageExternalLink Viewer320BR.aspx?mode=Default&peid=8a2b3e20-47d6-462b-9f89-eb6b9fa5b0cd&pid=06ac6222-11c0-4056-9157-2def8fb69cd8&playerType=WM64Lite.
- Stephen_Cook wikiPageExternalLink 107226.
- Stephen_Cook wikiPageExternalLink ~sacook.
- Stephen_Cook wikiPageExternalLink www.falsifian.org.
- Stephen_Cook wikiPageExternalLink Cook:Stephen_A=.html.
- Stephen_Cook wikiPageID "39432".
- Stephen_Cook wikiPageLength "13119".
- Stephen_Cook wikiPageOutDegree "119".
- Stephen_Cook wikiPageRevisionID "682192637".
- Stephen_Cook wikiPageWikiLink AC0.
- Stephen_Cook wikiPageWikiLink AC_(complexity).
- Stephen_Cook wikiPageWikiLink American_Academy_of_Arts_and_Sciences.
- Stephen_Cook wikiPageWikiLink Artificial_intelligence.
- Stephen_Cook wikiPageWikiLink Association_for_Computing_Machinery.
- Stephen_Cook wikiPageWikiLink Bachelors_degree.
- Stephen_Cook wikiPageWikiLink Bernard_Bolzano_Medal.
- Stephen_Cook wikiPageWikiLink Boolean_satisfiability_problem.
- Stephen_Cook wikiPageWikiLink Bounded_arithmetic.
- Stephen_Cook wikiPageWikiLink Bounded_reverse_mathematics.
- Stephen_Cook wikiPageWikiLink Buffalo,_New_York.
- Stephen_Cook wikiPageWikiLink CRM-Fields-PIMS_prize.
- Stephen_Cook wikiPageWikiLink Canada.
- Stephen_Cook wikiPageWikiLink Category:1939_births.
- Stephen_Cook wikiPageWikiLink Category:American_computer_scientists.
- Stephen_Cook wikiPageWikiLink Category:American_emigrants_to_Canada.
- Stephen_Cook wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Stephen_Cook wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Stephen_Cook wikiPageWikiLink Category:Fellows_of_the_Royal_Society_of_Canada.
- Stephen_Cook wikiPageWikiLink Category:Harvard_University_alumni.
- Stephen_Cook wikiPageWikiLink Category:Living_people.
- Stephen_Cook wikiPageWikiLink Category:Members_of_the_Order_of_Ontario.
- Stephen_Cook wikiPageWikiLink Category:Members_of_the_United_States_National_Academy_of_Sciences.
- Stephen_Cook wikiPageWikiLink Category:Officers_of_the_Order_of_Canada.
- Stephen_Cook wikiPageWikiLink Category:Turing_Award_laureates.
- Stephen_Cook wikiPageWikiLink Category:University_of_California,_Berkeley_faculty.
- Stephen_Cook wikiPageWikiLink Category:University_of_Michigan_alumni.
- Stephen_Cook wikiPageWikiLink Category:University_of_Toronto_faculty.
- Stephen_Cook wikiPageWikiLink Charles_Babbage_Institute.
- Stephen_Cook wikiPageWikiLink Co-NP.
- Stephen_Cook wikiPageWikiLink CoNP.
- Stephen_Cook wikiPageWikiLink Complexity_of_analysis.
- Stephen_Cook wikiPageWikiLink Complexity_of_higher_type_functions.
- Stephen_Cook wikiPageWikiLink Computational_complexity_theory.
- Stephen_Cook wikiPageWikiLink Computer_Science.
- Stephen_Cook wikiPageWikiLink Computer_science.
- Stephen_Cook wikiPageWikiLink Cook-Levin_theorem.
- Stephen_Cook wikiPageWikiLink Cook_reduction.
- Stephen_Cook wikiPageWikiLink Cook–Levin_theorem.
- Stephen_Cook wikiPageWikiLink DBLP.
- Stephen_Cook wikiPageWikiLink Distinguished_Professor.
- Stephen_Cook wikiPageWikiLink Doctor_of_Philosophy.
- Stephen_Cook wikiPageWikiLink Don_Knuth.
- Stephen_Cook wikiPageWikiLink Donald_Knuth.
- Stephen_Cook wikiPageWikiLink Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering.
- Stephen_Cook wikiPageWikiLink Gordon_Cook.
- Stephen_Cook wikiPageWikiLink Government_of_Ontario.
- Stephen_Cook wikiPageWikiLink Hao_Wang_(academic).
- Stephen_Cook wikiPageWikiLink Harvard_University.
- Stephen_Cook wikiPageWikiLink John_L._Synge_Award.
- Stephen_Cook wikiPageWikiLink KMP_algorithm.
- Stephen_Cook wikiPageWikiLink Killam_Research_Fellowship.
- Stephen_Cook wikiPageWikiLink Knuth–Morris–Pratt_algorithm.
- Stephen_Cook wikiPageWikiLink Leonid_Levin.
- Stephen_Cook wikiPageWikiLink Masters_degree.
- Stephen_Cook wikiPageWikiLink Mathematics.
- Stephen_Cook wikiPageWikiLink Millennium_Prize_Problems.
- Stephen_Cook wikiPageWikiLink NC_(complexity).
- Stephen_Cook wikiPageWikiLink NP-complete.
- Stephen_Cook wikiPageWikiLink NP-completeness.
- Stephen_Cook wikiPageWikiLink NP_(complexity).
- Stephen_Cook wikiPageWikiLink NSERC.
- Stephen_Cook wikiPageWikiLink National_Academy_of_Sciences.
- Stephen_Cook wikiPageWikiLink Natural_Sciences_and_Engineering_Research_Council.
- Stephen_Cook wikiPageWikiLink New_York.
- Stephen_Cook wikiPageWikiLink Nick_Pippenger.
- Stephen_Cook wikiPageWikiLink Officer_of_the_Order_of_Canada.
- Stephen_Cook wikiPageWikiLink Ontario.