![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || Automated Reasoning in the Age of the Internet
Fleuriot, Jacques, Wang, Dongming, Calmet, JacquesVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-99957-9_1
File:
PDF, 1.07 MB
english, 2018