An epistemic programming approach for automated theorem finding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongbiao Gao, Jingde Cheng. An epistemic programming approach for automated theorem finding. In Ning Ge, Jianhua Lu, Yingxu Wang, Newton Howard, Philip Chen, Xiaoming Tao, Bo Zhang, Lotfi A. Zadeh, editors, 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2015, Beijing, China, July 6-8, 2015. pages 49-58, IEEE, 2015. [doi]

This author has not been identified. Look up 'Hongbiao Gao' in GoogleThis author has not been identified. Look up 'Jingde Cheng' in Google

runs on WebDSL