Languages
Brattka, Vasco.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
Handbook of Computability and Complexity in Analysis
by:
SpringerLink (Online service); Brattka, Vasco.; Hertling, Peter.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.