Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings / [electronic resource] : / edited by Dingzhu Du, Lian Li, En Zhu, Kun He.. — 1st ed. 2017.. — XXI, 356 p. 165 illus. : online resource. — (Communications in Computer and Information Science,) 768 1865-0929 ;. - Communications in Computer and Information Science, 768 .

Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory -- Parallel and Distributed Computing -- Computational Model.

Available to subscribing member institutions only. Доступно лише організаціям членам підписки.

Анотація:
This 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.

9789811068935

10.1007/978-981-10-6893-5 doi


Algorithms.
Computer logic.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.

QA76.9.A43

005.1