語系
Lowe, Benedikt.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Classical and new paradigms of computation and their complexity hierarchies = papers of the conference "Foundations of the Formal Sciences III" /
by:
Lowe, Benedikt.; Piwinger, Boris.; Rasch, Thoralf.; SpringerLink (Online service); Foundations of the Formal Sciences (2001 :)
(書目-語言資料,印刷品)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
Beckmann, Arnold.; Dimitracopoulos, Costas.; Lowe, Benedikt.; SpringerLink (Online service); Conference on Computability in Europe (2008 :)
(書目-語言資料,印刷品)
Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
by:
Lowe, Benedikt.; SpringerLink (Online service); Bonanno, Giacomo.; Hoek, Wiebe van der.
(書目-語言資料,印刷品)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
Cooper, S. Barry.; Lowe, Benedikt.; Sorbi, Andrea.; SpringerLink (Online service)
(書目-語言資料,印刷品)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
Cooper, S. Barry.; Lowe, Benedikt.; SpringerLink (Online service); Dawar, Anuj.
(書目-電子資源)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
Cooper, S. B.; Lowe, Benedikt.; Torenvliet, Leen.; SpringerLink (Online service); Conference on Computability in Europe (2005 :)
(書目-語言資料,印刷品)
主題
Computing Methodologies.
Theory of Computation.
Mathematical Logic and Foundations.
Philosophy.
Quantum Computing, Information and Physics.
Mathematical Logic and Formal Languages.
Bioinformatics.
Mathematics of Computing.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Algorithms
Computation by Abstract Devices.
Algorithms.
Computable functions.
Computational complexity
Computable functions
Computer science- Mathematics
Computable functions- Congresses.
Logic, Symbolic and mathematical- Congresses.
Functions of complex variables- Congresses.
Game theory
Computer Science.
Math Applications in Computer Science.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Computational intelligence- Congresses.
Computational Biology/Bioinformatics.
Symbolic and Algebraic Manipulation.