矛盾体分离单元结果演绎方法及应用

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

矛盾体分离单元结果演绎方法及应用

曹锋, 谢燏, 易见兵, 李俊

A contradiction separation unit resulting deduction method and its application

CAO Feng, XIE Yu, YI Jian-bing, LI Jun

计算机工程与科学 . 2024, (12): 2252 -2260 .