Cook, Stephen, 1948-....
Cook, Stephen A.
VIAF ID: 38354675
4xx's: Alternate Name Forms (2)
- 400 1 _
Cook, S. A.
- 400 1 _
- Logical foundations of proof complexity
- unified modeling language
- UML 2002
- The unified modeling language, UML 2002 : 5th international conference, Dresden, Germany, September 30 - October 4, 2002 : proceedings
- UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings
- 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
- British Computer Society. Human Computer Interaction Specialist Group. Conference (1st : 1985 : University of East Anglia). People and computers, 1985:
Countries of Publication (3)
Selected Publishers (3)
History of VIAF ID:38354675 (11)