LEADER 04182nam  22009015  450 
001 996465373503316
005 20230329205907.0
010   $a3-642-39053-6
024 7 $a10.1007/978-3-642-39053-1
035   $a(CKB)2560000000105688
035   $a(Springer)9783642390531
035   $a(MH)013717720-8
035   $a(SSID)ssj0001514676
035   $a(PQKBManifestationID)12630814
035   $a(PQKBTitleCode)TC0001514676
035   $a(PQKBWorkID)11480171
035   $a(PQKB)10675157
035   $a(SSID)ssj0001071239
035   $a(PQKBManifestationID)11607376
035   $a(PQKBTitleCode)TC0001071239
035   $a(PQKBWorkID)11114210
035   $a(PQKB)10841453
035   $a(DE-He213)978-3-642-39053-1
035   $a(MiAaPQ)EBC3096912
035   $a(PPN)170493032
035   $a(EXLCZ)992560000000105688
100   $a20130604d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 14$aThe Nature of Computation: Logic, Algorithms, Applications$b[electronic resource] $e9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings /$fedited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XVIII, 446 p. 42 illus.)$cdigital
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7921
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-39052-8 
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7921
606   $aComputer science
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aMathematical logic
606   $aTheory of Computation
606   $aAlgorithms
606   $aDiscrete Mathematics in Computer Science
606   $aMathematical Applications in Computer Science
606   $aComputer Science Logic and Foundations of Programming
606   $aMathematical Logic and Foundations
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aMathematical logic.
615 14$aTheory of Computation.
615 24$aAlgorithms.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aMathematical Applications in Computer Science.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aMathematical Logic and Foundations.
676   $a511.352
686   $aDAT 517f$2stub
686   $aSS 4800$2rvk
702   $aBonizzoni$b Paola$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBrattka$b Vasco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLöwe$b Benedikt$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aConference on Computability in Europe
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465373503316
996   $aThe Nature of Computation: Logic, Algorithms, Applications$92597855
997   $aUNISA
999   $aThis 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