Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /

Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Du, Dingzhu. (Editor), Li, Lian. (Editor), Zhu, En. (Editor), He, Kun. (Editor)
Format: eBook
Language:English
Published: Singapore : Springer Singapore : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Communications in Computer and Information Science, 768
Subjects:
Algorithms.
Computer logic.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Description
Physical Description:XXI, 356 p. 165 illus. : online resource.
ISBN:9789811068935

Similar Items