1. Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. (2018) Editors: Fleuriot, Jacques, 1972-; Wang, Dongming, 1961-; Calmet, Jacques Other Names: AISC (Conference), 13th Record Type: Book Extent: 1 online resource (x, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗