Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng, Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic, 19th International Conference on Computing and Combinatorics (COCOON), Hangzhou, Lecture Notes in Computer Science, 7936, pp.697-704, 2013.
- Release Time: 2024-05-30
- Hits:
Title of Paper:
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng, Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic, 19th International Conference on Computing and Combinatorics (COCOON), Hangzhou, Lecture Notes in Computer Science, 7936, pp.697-704, 2013.Translation or Not:
No
