TY  - BOOK
AU  - Bonizzoni,Paola
AU  - Brattka,Vasco
AU  - Löwe,Benedikt
ED  - SpringerLink (Online service)
TI  - The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642390531
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computers
KW  - Algorithms
KW  - Computer logic
KW  - Mathematics
KW  - Mathematical logic
KW  - Computer Science
KW  - Computation by Abstract Devices
KW  - Algorithm Analysis and Problem Complexity
KW  - Discrete Mathematics in Computer Science
KW  - Math Applications in Computer Science
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Foundations
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-39053-1
ER  -