Feng Cao, Yang Xu 0001, Jian Zhong, Guanfeng Wu. Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. In Tianrui Li, Luis Martínez-López, Yun Li, editors, 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017. pages 1-5, IEEE, 2017. [doi]
@inproceedings{Cao0ZW17, title = {Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic}, author = {Feng Cao and Yang Xu 0001 and Jian Zhong and Guanfeng Wu}, year = {2017}, doi = {10.1109/ISKE.2017.8258782}, url = {https://doi.org/10.1109/ISKE.2017.8258782}, researchr = {https://researchr.org/publication/Cao0ZW17}, cites = {0}, citedby = {0}, pages = {1-5}, booktitle = {12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017}, editor = {Tianrui Li and Luis Martínez-López and Yun Li}, publisher = {IEEE}, isbn = {978-1-5386-1829-5}, }