LEADER 03069nam  22006375  450 
001 9910254846603321
005 20200630112456.0
010   $a981-10-6893-3
024 7 $a10.1007/978-981-10-6893-5
035   $a(CKB)4100000000882186
035   $a(DE-He213)978-981-10-6893-5
035   $a(MiAaPQ)EBC6295773
035   $a(MiAaPQ)EBC5592599
035   $a(Au-PeEL)EBL5592599
035   $a(OCoLC)1006848430
035   $a(PPN)220125821
035   $a(EXLCZ)994100000000882186
100   $a20171014d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTheoretical Computer Science $e35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /$fedited by Dingzhu Du, Lian Li, En Zhu, Kun He
205   $a1st ed. 2017.
210  1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2017.
215   $a1 online resource (XXI, 356 p. 165 illus.) 
225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v768
311   $a981-10-6892-5 
327   $aAlgorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory -- Parallel and Distributed Computing -- Computational Model.
330   $aThis book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.
410  0$aCommunications in Computer and Information Science,$x1865-0929 ;$v768
606   $aAlgorithms
606   $aComputer logic
606   $aMathematical logic
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a004
702   $aDu$b Dingzhu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLi$b Lian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZhu$b En$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHe$b Kun$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910254846603321
996   $aTheoretical computer science$9104541
997   $aUNINA