Cook, Stephen, 1948-....
Cook, Stephen 1939-
Stephen Cook
Cook, Stephen Arthur, 1939-....
Cook, Stephen Arthur
Cook, Stephen A.
VIAF ID: 107793001 ( Personal )
Permalink: http://viaf.org/viaf/107793001
Preferred Forms
- 100 1 _ ‡a Cook, Stephen A.
-
- 100 1 _ ‡a Cook, Stephen Arthur
-
- 100 1 _ ‡a Cook, Stephen Arthur, ‡d 1939-....
- 100 1 _ ‡a Cook, Stephen ‡d 1939-
- 100 1 _ ‡a Cook, Stephen ‡d 1939-
-
- 100 1 _ ‡a Cook, Stephen, ‡d 1948-....
- 100 0 _ ‡a Stephen Cook
4xx's: Alternate Name Forms (36)
5xx's: Related Names (6)
- 510 2 _ ‡a Association for Symbolic Logic
- 510 2 _ ‡a British Computer Society. Human Computer Interaction Specialist Group
- 551 _ _ ‡a Buffalo, NY
- 510 2 _ ‡a Cambridge University Press
- 510 2 _ ‡a University of Toronto ‡b Department of Computer Science
- 510 2 _ ‡a University of Toronto ‡b Department of Computer Science ‡e Affiliation
Works
Title | Sources |
---|---|
Knee deep in dishonour : the Scott report and its aftermath | |
Logic, automata, and computational complexity: the works of Stephen A. Cook, 2023 | |
Logical Foundations of Proof Complexity | |
Object-oriented programming : proceedings | |
People and computers : designing the interface : proceedings | |
UML 2002 | |
"UML" 2002 : the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4, 2002 : proceedings | |
計算量 理論 槪說 |