語系
Brattka, Vasco.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
Lowe, Benedikt.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bonizzoni, Paola.; Brattka, Vasco.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Handbook of Computability and Complexity in Analysis
by:
SpringerLink (Online service); Brattka, Vasco.; Hertling, Peter.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Computable functions
Mathematical logic.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Computation by Abstract Devices.
Theory of Computation.
Computers.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computer Science.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Foundations.