...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 高精度计算方法
matrix resolution method 矩阵解析方法
The principle and resolution method of this model were detailed.
详细介绍该模型的原理以及求解方法。
Comparing with resolution method, it is an indirect system optimization method.
相对解析法而言,它是一种间接的系统优化方法。
The computational multi-peak resolution method for X-ray diffraction pattern of PET fibers has been programmed.
并且编制了适用于分解X射线衍射图谱的计算机分峰程序。
应用推荐