您要查找的是不是：
- third 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 一种基于一阶谓词逻辑的模型表示方法
- first order predicate logic 一阶谓词逻辑
- higher order predicate 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. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- Today's example function is evaluating a third order polynomial. 今天的例子是评测一个三次多项式。
- Double dagger: A typographic symbol used as a third order reference mark. 双剑号:用于第三个脚注的印刷字体附注符号。
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
- Then you have a medicine of the third order of his own kind multipliable. 然后你让他自己类型的一颗第三个次序的药多易曲折。
- 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. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
- predicate calculus of the third 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. 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- Double dagger A typographic symbol used as a third order reference mark.See Reference marks. 用于第三个脚注的印刷字体附注符号。参阅附注符号。
- Knowing the third order intercept point allows calculation of the approximate level of the. 显然,三次截止点允许用输出信号的函数近似计算三次互调失真成分。
- At last in this chapter, the influence of third order dispersion (TOD) on DMS transmission are studied. 最后，研究了三阶色散(TOD)对DMS传输的影响，采用数值计算方法，详细研究了不同DMS系统参数条件下，TOD影响的效果。
- 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. 分析了现有可信移动平台安全引导过程安全漏洞，提出了改进的安全引导过程，并通过谓词逻辑对改进的引导过程进行了正确性验证。
- Using third order polynomial fitting in center area of FOV, the theory focal length also can be computed. 在计算镜头畸变中，利用中心视场区域内畸变设计无穷小，采用三次多项式拟和的方法，计算镜头理论焦距；
- Furthermore, utilizing the way of resonant tank equivalent, predigests the third order system mathematical model. 利用谐振槽等效的方法，进一步简化系统的数学模型，得到逆变器的降阶状态方程；
