regle de factorisation的意思|示意
美 / /
英 / /
正则分解
regle de factorisation的网络常见释义
或因式分解规则 c)衍生(Derivation)的定义: 从一个子句集合S,通过应用解决规则(regle de resolution)或因式分解规则(regle de factorisation)产生得到的一系列子句叫做衍生