您要查找的是不是：
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而 多元代数 对应于一阶逻辑。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制.
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic. 分析了现有可信移动平台安全引导过程安全漏洞，提出了改进的安全引导过程，并通过谓词逻辑对改进的引导过程进行了正确性验证。
- Method of resolution under predicate logic 谓词逻辑描述下的归结推理方法
- First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
- The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。
- Can we predicate of a dog that it has a soul? 关於狗，我们能断定它有灵魂吗？
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一种基于一阶谓词逻辑的模型表示方法
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Their common ground is that they regard formal Logic as predicative Logic, and attempt to lay a foundation for it with a pre-predicative, philosophical Logic. 他们的共同点在于:把形式逻辑看作陈述逻辑;并试图用前谓词判断的哲学逻辑学来为它奠基.
- Study Predicate Logic Used in Design PLC Ladder Diagram 谓词逻辑在设计PLC梯形图中使用的研究
- Application of Predicate Logic in Question Answering System 谓词逻辑在答疑系统中的应用
- The Decidability of Proof Method in the Predicate Logic Inference 谓词逻辑推理中证明方法的判定
- Resolution Method Using XML in First-order Predicate Logic 使用XML的一阶谓词逻辑归结原理
- Predicate Logic Reasoning and Validation Based on Computer 谓词逻辑推理与机器证明
- In general, a grammatical clause contain a subject and a predicate. 一般说来，一个合乎文法的子句包含有主词与述语。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
