WorldCat Identities

Cook, Stephen Arthur

Overview
Works: 6 works in 10 publications in 1 language and 17 library holdings
Roles: Author
Classifications: QA267.7, 511.36
Publication Timeline
.
Most widely held works about Stephen Arthur Cook
 
Most widely held works by Stephen Arthur Cook
Logical foundations of proof complexity by Stephen Cook( Book )
3 editions published in 2010 in English and held by 8 WorldCat member libraries worldwide
"This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course."--Jacket
On the minimum computation time of functions by Stephen Arthur Cook( Book )
3 editions published in 1966 in English and Undetermined and held by 4 WorldCat member libraries worldwide
People and computers : designing the interface : proceedings by British Computer Society. Human Computer Interaction Specialist Group( Book )
1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide
On the minimum computation time of function by Stephen Arthur Cook( Book )
1 edition published in 1966 in Undetermined and held by 1 WorldCat member library worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.00 for People and ... to 1.00 for An intervi ...)
Alternative Names
Cook, Stephen
Cook, Stephen Arthur 1939-
Cook, Steve 1939-
Languages
English (8)
Covers