您要查找的是不是：
- 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 一种基于一阶谓词逻辑的模型表示方法
- third order predicate logic 三阶谓词逻辑
- One of the second order of angels. 二级天使天使中的第二级
- first order predicate logic 一阶谓词逻辑
- higher order predicate logic 高阶谓词逻辑
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- And the second order effects should also be mild. 第二波的影响亦应该比较温和。
- 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. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- Numerical solution of second order differential equations. 二阶微分方程的数值解。
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
- The general solution of a kind second order equation is given. 摘要给出一类二阶变系数线性微分方程的通解。
- 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. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
- It is: (1)designed according to attenuate vib-ration system of second order. 其特点是按具有衰减振荡的二阶系统进行设计;
- 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. 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- By combining these pictographs, a second order of ideas is expressed. 把这些象形字缀合在一起表示了另一层次的观念。
- Existence of positive solutions of BVP for second order IDE with fixed moments. 二阶脉冲微分方程边值问题。
- Title： Boundary value problem for a class of second order nonlinear O.D.E. 关键词：非线性常微分方程;边值问题;解;存在性
