Cook, Stephen, 1948-
Cook, Stephen A.
Cook, Stephen
קוק, סטיבן, 1948-
VIAF ID: 38354675 ( Personal )
Permalink: http://viaf.org/viaf/38354675
Preferred Forms
- 100 1 _ ‡a Cook, Stephen
-
-
-
- 100 1 _ ‡a Cook, Stephen ‡d 1948-
-
-
-
- 100 1 0 ‡a Cook, Stephen, ‡d 1948-
-
4xx's: Alternate Name Forms (20)
Works
Title | Sources |
---|---|
Computational cmplexity of higher type functios : Plenary address, International Congress of Mathematicians, Kyoto, Japan, August, 1990 | |
ECOOP '89 : proceedings of the 1989 European Conference on Object-Oriented Programming, East Midland Conference Centre, University on Nottingham, 10-14 July 1989 | |
Logical foundations of proof complexity | |
People and computers : designing the interface : proceedings of the Conference of the British Computer Society, Human Computer Interaction Specialist Group, University of East Anglia, 17-20 September 1985 | |
"UML" 2002 - the unified modeling language : model engineering, concepts, and tools : 5th international conference, Dresden, Germany, September 30-October 4, 2002 : proceedings |