您要查找的是不是：
- higher order predicate logic 高阶谓词逻辑
- 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. 给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制.
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一种基于一阶谓词逻辑的模型表示方法
- Predicate logic of higher order 高阶谓词逻辑
- third order predicate logic 三阶谓词逻辑
- A task that is initiated and terminated by a higher order task. 一种由较高一级的任务来启动和终止的任务。
- first order predicate logic 一阶谓词逻辑
- Social position or rank, especially of high order. 社会等级社会地位或等级，特别是指较高社会地位
- higher order predicate calculus [计] 高阶谓词演算
- As a lightweight his skill is of the highest order. 作为轻量级拳击手，他的技术是第一流的。
- Method of the data structure as the higher order function to apply the logic. 方法作为应用逻辑的高阶函数。
- 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. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- Support for closures and higher order functions. 支持闭包和高阶函数。
- Method is a higher order function. 方法是高阶函数。
- Gensui Higher Order Stupid Team == G.H.O.S.T. 大黄什么种族职业？就一个40级的号？
- The job requires diplomatic skills of a high order. 这项工作要求高超的外交技巧。
- 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. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
- Higher Order Critical Transitions in Ternary Mixtures. 三元混合物中的高维临界转换。
