TY - BOOK AU - Bonizzoni,Paola AU - Brattka,Vasco AU - Löwe,Benedikt TI - The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings SN - 9783642390531 PY - 2013/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computers KW - Algorithms KW - Computer logic KW - Mathematics KW - Mathematical logic UR - http://dx.doi.org/10.1007/978-3-642-39053-1 ER -