04182nam 22009015 450 99646537350331620230329205907.03-642-39053-610.1007/978-3-642-39053-1(CKB)2560000000105688(Springer)9783642390531(MH)013717720-8(SSID)ssj0001514676(PQKBManifestationID)12630814(PQKBTitleCode)TC0001514676(PQKBWorkID)11480171(PQKB)10675157(SSID)ssj0001071239(PQKBManifestationID)11607376(PQKBTitleCode)TC0001071239(PQKBWorkID)11114210(PQKB)10841453(DE-He213)978-3-642-39053-1(MiAaPQ)EBC3096912(PPN)170493032(EXLCZ)99256000000010568820130604d2013 u| 0engurnn#008mamaatxtccrThe 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öwe1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XVIII, 446 p. 42 illus.)digitalTheoretical Computer Science and General Issues,2512-2029 ;7921Bibliographic Level Mode of Issuance: Monograph3-642-39052-8 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.Theoretical Computer Science and General Issues,2512-2029 ;7921Computer scienceAlgorithmsComputer science—MathematicsDiscrete mathematicsMathematical logicTheory of ComputationAlgorithmsDiscrete Mathematics in Computer ScienceMathematical Applications in Computer ScienceComputer Science Logic and Foundations of ProgrammingMathematical Logic and FoundationsComputer science.Algorithms.Computer science—Mathematics.Discrete mathematics.Mathematical logic.Theory of Computation.Algorithms.Discrete Mathematics in Computer Science.Mathematical Applications in Computer Science.Computer Science Logic and Foundations of Programming.Mathematical Logic and Foundations.511.352DAT 517fstubSS 4800rvkBonizzoni Paolaedthttp://id.loc.gov/vocabulary/relators/edtBrattka Vascoedthttp://id.loc.gov/vocabulary/relators/edtLöwe Benediktedthttp://id.loc.gov/vocabulary/relators/edtConference on Computability in EuropeMiAaPQMiAaPQMiAaPQBOOK996465373503316The Nature of Computation: Logic, Algorithms, Applications2597855UNISAThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress