... predicate calculus logic 述词演算逻辑 predicate logic language 谓词逻辑语言 highorder predicate logic 高阶谓词逻辑 ...
基于16个网页-相关网页
medium logic predicate calculus 中介逻辑谓词演算
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
应用推荐