您要查找的是不是：
- 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 三阶谓词逻辑
- 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. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- New boosters can increase the payload by almost one order of magnitude. 新型助推器能使有效负载几乎增加一个数量级.
- OK, so that's one cheeseburger and one order of chicken wings, extra spicy. 好,您点的是一个吉士汉堡和一份鸡翅。多点儿调料。
- Will you drink one ordering wine again? 你要再喝一点酒吗?
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
- A: OK, so that's one cheeseburger and one order of chicken wings, extra spicy. 好，您点的是一个吉士汉堡和一份鸡翅.;多点儿调料
- 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. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
- We are interested in not only one order,but in transact large repeat business with you. 我们不希望顾客仅一次光顾，而是希望能够大量持续的进行交易。
- 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. 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- We guesstimate that our company almost need 70 tons every year, and release one order a quarter. 我们公司预计每年有70吨的用量，每季度下一次定单。
- We are interested in not only one order, but in transact large repeat business with you . 我们不希望顾客仅一次光顾，而是希望能够大量持续的进行交易。
- One order was dead beyond recall. Another ill defined and uncertain though it was, had been born. 一种秩序一去不复返了。另一种秩序虽然还很模糊而不稳定，但已经诞生。
- 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. 分析了现有可信移动平台安全引导过程安全漏洞，提出了改进的安全引导过程，并通过谓词逻辑对改进的引导过程进行了正确性验证。
- Each order can have more than one line item, but each line item is connected to only one order. 每个订单可以具有多个行项目,而每个行项目仅与一个订单相关。
