...P=P1∧P2∧∧Pn的子句集3.2 海伯伦(HERBRAND)理论3.2.1 H域3.2.2 原子集.3.2.3 H域上的解释3.3 归结原理(RESOLUTION METHOD)3.3.1 置换与合3.3.2 命题逻辑中的归结原理3.3.3 一阶谓词逻辑中的归结原理3.3.4.
基于72个网页-相关网页
conflict resolution method 冲突解决方法
Chemometric resolution method 化学计量学解析法 ; 通过化学计量学解析法
spectral resolution method 光谱分辨率法
Chemometrics resolution method 用化学计量学解析法 ; 化学计量学分辨方法
high resolution method 高分辨力方法
high-resolution method 高精度计算方法
应用推荐