The main idea in this section is that social scientific reasoning involves conditional statements of the form if X then Y.
该部分的主要想法是社会科学推理,包括如果X,则Y形式的条件陈述。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
应用推荐