The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.
Material type: TextSeries: Lecture Notes in Computer Science ; 7921Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Description: XVIII, 446 p. 42 illus. online resourceContent type:- text
- computer
- online resource
- 9783642390531
- Computer science
- Computers
- Algorithms
- Computer logic
- Computer science -- Mathematics
- Mathematical logic
- Computer Science
- Computation by Abstract Devices
- Algorithm Analysis and Problem Complexity
- Discrete Mathematics in Computer Science
- Math Applications in Computer Science
- Logics and Meanings of Programs
- Mathematical Logic and Foundations
- 004.0151 23
- QA75.5-76.95
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
There are no comments on this title.