Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /

Saved in:
Bibliographic Details
Corporate Authors: LFCS Symposium Deerfield Beach, Fla
Group Author: Artemov, Sergei; Nerode, Anil
Published: Springer,
Publisher Address: Cham, Switzerland :
Publication Dates: [2018]
Literature type: Book
Language: English
Series: Lecture notes in computer science, 10703
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Subjects:
Item Description: International conference proceedings.
Carrier Form: x, 367 pages: illustrations ; 24 cm.
Bibliography: Includes bibliographical references and author index.
ISBN: 9783319720555
3319720554
Index Number: QA75
CLC: TP302.2-532
TP301.6-532
Call Number: TP301.6-532/L832.2/2018