Cover is for reference only

Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, proceedings /

Saved in:
Bibliographic Details
Corporate Authors: AISC Conference Suzhou, Jiangsu Sheng, China
Group Author: Fleuriot, Jacques, 1972; Wang, Dongming, 1961; Calmet, Jacques
Published: Springer,
Publisher Address: Cham, Switzerland :
Publication Dates: [2018]
Literature type: Book
Language: English
Series: Lecture notes in artificial intelligence, 11110
LNCS sublibrary. SL 7, Artificial intelligence
Subjects:
Artificial intelligence > Congresses
Logic, Symbolic and mathematical > Congresses
Automatic theorem proving > Congresses
Carrier Form: x, 268 pages : illustrations, forms ; 24 cm.
Bibliography: Includes bibliographical references and author index.
ISBN: 9783319999562 (paperback) :
3319999567 (paperback)
9783319999579 (ebook)
3319999575 (ebook)
CLC: TP18-532
Call Number: TP18-532/A791-3/2018

Related Book Recommendations