LEADER 03418nam  22007215  450 
001 9910484131103321
005 20230221203526.0
010   $a3-319-40189-0
024 7 $a10.1007/978-3-319-40189-8
035   $a(CKB)3710000000734802
035   $a(DE-He213)978-3-319-40189-8
035   $a(MiAaPQ)EBC6302862
035   $a(MiAaPQ)EBC5591400
035   $a(Au-PeEL)EBL5591400
035   $a(OCoLC)952407327
035   $a(PPN)19437839X
035   $a(EXLCZ)993710000000734802
100   $a20160613d2016      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPursuit of the Universal $e12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /$fedited by Arnold Beckmann, Laurent Bienvenu, Nata?a Jonoska
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XVI, 375 p. 21 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9709
311   $a3-319-40188-2 
327   $aComputable and constructive analysis -- Computation in biological systems -- Cryptography and information theory -- History and philosophy of computing -- Symbolic dynamics -- Weak arithmetic.
330   $aThis book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions ? two sessions, cryptography and information theory and symbolic dynamics, are organized for the first time in the conference series. In addition to this new developments in areas frequently covered in the CiE conference series were addressed in the following sessions: computable and constructive analysis; computation in biological systems; history and philosophy of computing; weak arithmetic.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9709
606   $aComputer science
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aMachine theory
606   $aBioinformatics
606   $aTheory of Computation
606   $aAlgorithms
606   $aMathematics of Computing
606   $aFormal Languages and Automata Theory
606   $aComputational and Systems Biology
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615  0$aMachine theory.
615  0$aBioinformatics.
615 14$aTheory of Computation.
615 24$aAlgorithms.
615 24$aMathematics of Computing.
615 24$aFormal Languages and Automata Theory.
615 24$aComputational and Systems Biology.
676   $a511.352
702   $aBeckmann$b Arnold$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBienvenu$b Laurent$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJonoska$b Nata?a$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484131103321
996   $aPursuit of the Universal$92831552
997   $aUNINA