大家在查：元逻辑约束变元自由变元代入规则符号替代个体词原子命题想无知己难求作词人

一阶谓词逻辑

n.first-order predicate logic
网络first order predicate logic; FOL; RFOPL

一阶谓词逻辑

一阶谓词逻辑

英-汉网络释义

一阶谓词逻辑

first order predicate logic

信息词汇英语翻译(E-L) ... first normal form 第一范式 first order predicate logic 一阶谓词逻辑 five bit byte 五位字节 ...

FOL

841用一阶谓词逻辑（FOL）表示模型的一种方法191842知识库支持模型的一个实例19585模型管理和数据管理的结合197851 …

RFOPL

...eorem),以说明 RCL2000 和严格形式的一阶谓词逻辑(RFOPL)的等价性.

First-Order Logic

谓词逻辑的英文|谓词逻辑是什么意思... ... 一阶谓词逻辑 ： First-Order Logic 谓词逻辑语言： predicate logic language ...

1

a novel first-order predicate rule mining algorithm, named PHVB algorithm , was proposed .

提出了基于 GEP 的一阶谓词逻辑规则挖掘算法 PHVB 算法。

3

Resolution Method Using XML in First-order Predicate Logic

使用 XML 的一阶谓词逻辑归结原理

热词推荐

大家在看