计算机工程与科学2024，Vol.46Issue(12)：P.2252-2260,9.DOI:10.3969/j.issn.1007-130X.2024.12.016
矛盾体分离单元结果演绎方法及应用
摘要
关键词
一阶逻辑/自动定理证明/人工智能/单元结果归结/矛盾体分离规则分类
信息技术与安全科学引用本文复制引用
曹锋,谢燏,易见兵,李俊..矛盾体分离单元结果演绎方法及应用[J].计算机工程与科学,2024,46(12):P.2252-2260,9.基金项目
国家自然科学基金(62366017,62066018) （62366017,62066018）
江西省教育厅项目(GJJ200818,GJJ210828) （GJJ200818,GJJ210828）
赣州市科技计划项目(GZKJ20206030) （GZKJ20206030）
江西理工大学博士启动基金(205200100060)。 （205200100060）
