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

Corporate Authors: AISC Conference Suzhou, Jiangsu Sheng, China
Group Author: Fleuriot, Jacques, 1972; Wang, Dongming, 1961; Calmet, Jacques
Published: Springer,
Publication Dates: [2018]
Call Number: TP18-532/A791-3/2018