extended predicate calculus的中文,翻译,解释,例句
extended predicate calculus
- extended predicate calculus的基本解释
-
-
广义谓词演算
- 更多网络例句与extended predicate calculus相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.
为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。
- 更多网络解释与extended predicate calculus相关的网络解释 [注：此内容来源于网络，仅供参考]
-
extended predicate calculus：广义谓词演算
extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设