S. Barry Cooper
· 16 obras en el catálogo
Obras

Theory and applications of models of computation

Logic Colloquium 2006

Computation and Logic in the Real World

Theory and applications of models of computation

How The World Computes Turing Centenary Conference And 8th Conference On Computability In Europe Cie 2012 Cambridge Uk June 1823 2012 Proceedings

Models and Computability

How the World Computes

The Incomputable
Computing with Incomplete Information
Computability Theory, Second Edition
Computability Theory
Sets and Proofs
Alan Turing
Computability in Context
Ramanujan's Theta Functions
