語系
Cooper, S. Barry.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Sorbi, Andrea.; Lowe, Benedikt.; Cooper, S. Barry.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
Cooper, S. Barry.; SpringerLink (Online service); Li, Angsheng.; Agrawal, Manindra.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
SpringerLink (Online service); Cooper, S. Barry.; Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dawar, Anuj.
(書目-語言資料,印刷品)
The incomputable = journeys beyond the Turing barrier /
by:
SpringerLink (Online service); Soskova, Mariya I.; Cooper, S. Barry.
(書目-語言資料,印刷品)
主題
Computable functions
Math Applications in Computer Science.
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Computable functions.
Mathematical Logic and Foundations.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Data Structures, Cryptology and Information Theory.
Unsolvability (Mathematical logic)
Turing machines
Computational complexity
Discrete Mathematics in Computer Science.
Philosophy.
Quantum Computing, Information and Physics.
Computation by Abstract Devices.