矛盾体分离超演绎方法及应用

曹锋, 杨小玲, 易见兵, 李俊

Contradiction separation super-deduction method and application

Feng CAO, Xiaoling YANG, Jianbing YI, Jun LI

《计算机应用》唯一官方网站 . 2024, (10): 3074 -3080 . DOI: 10.11772/j.issn.1001-9081.2023101404