![](/img/cover-not-exists.png)
[IEEE 2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) - Nanjing (2017.11.24-2017.11.26)] 2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) - Multi-clause synergized contradiction separation based first-order theorem prover — MC-SCS
Zhong, Jian, Cao, Feng, Wu, Guanfeng, Xu, Yang, Liu, JunYear:
2017
Language:
english
DOI:
10.1109/ISKE.2017.8258793
File:
PDF, 327 KB
english, 2017