logic calculus
- logic calculus的基本解释
-
-
逻辑演算
- 更多网络例句与logic calculus相关的网络例句 [注:此内容来源于网络,仅供参考]
-
So we can describe the process model in the logic situation calculus based on the virtual enterprise ontology.
这样,我们就可以在虚拟企业本体论基础上,以逻辑情景演算来描述虚拟企业过程模型。
-
The similarity logic calculus system of multi-agent case retrieval is studied.
研究了多智能体实例检索中的相似性逻辑演算模型。
-
It designs the assertion language and assertion calculus for Pointer Logic.
这在已存在的比较流行的定理证明器中是不曾实现过的。2。
-
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑:也叫谓词演算,它研究简单命题的内部结构。
-
An object-based logic calculus is outlined in this paper, which is built on the trace calculus based on dynamic entities with local states.
对象演算是一个面向对象的逻辑演算系统,它建立在描述具有内部状态的动态演变实体的Trace演算之上。
- 加载更多网络例句 (21)
- 更多网络解释与logic calculus相关的网络解释 [注:此内容来源于网络,仅供参考]
-
logic calculus:逻辑学
logic 逻辑 | logic calculus 逻辑学 | logic of pocket calculator 袖珍计算机的逻辑
-
logic calculus:逻辑演算
"逻辑的计算机辅助设计","logic CAD" | "逻辑演算","logic calculus" | "逻辑能力","logic capability"
-
three valued logic calculus:三值逻辑学
三值逻辑 three valued logic | 三值逻辑学 three valued logic calculus | 阈逻辑 threshold logic
-
predicate calculus logic:述詞演算邏輯
述詞演算 predicate calculus | 述詞演算邏輯 predicate calculus logic | 述詞轉換器 predicate converter