The following pages link to Stephen Cook
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Ada Lovelace (links | edit)
- Alan Turing (links | edit)
- Alan Kay (links | edit)
- Boolean satisfiability problem (links | edit)
- Claude Shannon (links | edit)
- Charles Babbage (links | edit)
- P versus NP problem (links | edit)
- Conjecture (links | edit)
- Timeline of computing (links | edit)
- List of computer scientists (links | edit)
- Computational complexity theory (links | edit)
- Douglas Engelbart (links | edit)
- Donald Knuth (links | edit)
- Dennis Ritchie (links | edit)
- Edsger W. Dijkstra (links | edit)
- Fred Brooks (links | edit)
- Gottfried Wilhelm Leibniz (links | edit)
- Grace Hopper (links | edit)
- Herbert A. Simon (links | edit)
- John von Neumann (links | edit)
- Marvin Minsky (links | edit)
- Niklaus Wirth (links | edit)
- NC (complexity) (links | edit)
- Timeline of programming languages (links | edit)
- Tim Berners-Lee (links | edit)
- Theory of computation (links | edit)
- Turing Award (links | edit)
- University of Michigan (links | edit)
- Vint Cerf (links | edit)
- Stephen A. Cook (redirect page) (links | edit)
- Ultrafinitism (links | edit)
- Heyting algebra (links | edit)
- List of NP-complete problems (links | edit)
- List of University of Michigan alumni (links | edit)
- Alasdair Urquhart (links | edit)
- Deterministic context-free language (links | edit)
- NP-completeness (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- Killam Prize (links | edit)
- List of American Academy of Arts and Sciences members (1953–1993) (links | edit)
- User:PantsB/sandbox (links | edit)
- User:T0mpr1c3/Killam Prizes (links | edit)
- User:HusseinHoudrouge/sandbox (links | edit)
- Tony Hoare (links | edit)
- Robert Tarjan (links | edit)
- Adi Shamir (links | edit)
- Peter Naur (links | edit)
- Ole-Johan Dahl (links | edit)
- Ron Rivest (links | edit)
- John Backus (links | edit)
- Kristen Nygaard (links | edit)
- J. Presper Eckert (links | edit)
- Butler Lampson (links | edit)
- Ivan Sutherland (links | edit)
- Timeline of computing 1990–1999 (links | edit)
- Timeline of computing 1980–1989 (links | edit)
- Timeline of computing 1950–1979 (links | edit)
- Timeline of computing hardware before 1950 (links | edit)
- Robin Milner (links | edit)
- Edgar F. Codd (links | edit)
- John Vincent Atanasoff (links | edit)
- Richard Hamming (links | edit)
- Alfred Aho (links | edit)