Theoretical Computer Science : 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings / edited by Lian Li, Pinyan Lu, Kun He.

Format:

Book

Contributor:

Li, Lian, editor.

Lu, Pinyan, editor.

He, Kun, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Communications in computer and information science 1865-0929 ; 882.

Communications in Computer and Information Science, 1865-0929 ; 882

Language:

English

Subjects (All):

Algorithms.

Computer logic.

Logic, Symbolic and mathematical.

Artificial intelligence.

Optical data processing.

Algorithm Analysis and Problem Complexity.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Image Processing and Computer Vision.

Local Subjects:

Algorithm Analysis and Problem Complexity.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Image Processing and Computer Vision.

Physical Description:

1 online resource (IX, 159 pages) : 38 illustrations.

Edition:

First edition 2018.

Contained In:

Springer eBooks

Place of Publication:

Singapore : Springer Singapore : Imprint: Springer, 2018.

System Details:

text file PDF

Summary:

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 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.

Contents:

Algorithms

Software theory and method

Data science.

Other Format:

Printed edition:

ISBN:

978-981-13-2712-4

9789811327124

9789811327117

9789811327131

Access Restriction:

Restricted for use by site license.