![](/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) - Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic
Cao, Feng, Xu, Yang, Zhong, Jian, Wu, GuanfengYear:
2017
Language:
english
DOI:
10.1109/ISKE.2017.8258782
File:
PDF, 280 KB
english, 2017