您要查找的是不是：
- Implementation of first order logic model generation 一阶逻辑模型生成器的实现
- The two-valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly-ordered weak complemented lattice, the omitting type theorem is proved. 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- FIRST ORDER LOGIC AND FIRST ORDER THEORY 一阶逻辑与一阶理论
- A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明
- Proving Several Theorems in First Order Logic Based on Back-and-Forth Method 向前向后法证明一阶逻辑的几个定理
- His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
- 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. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- Formulas of first order 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)的逻辑公理系统。
- The little boy has got a brain of the first order. 这小孩有一个一流的头脑。
- She was a snob of the first order. 她是天字第一号势利鬼。
- Your first order is quite small. 贵公司的首批订货辆太少。
- We expect payment in advance on first order. 我们希望第一次订货要求预付货款。
- It is a diamond of the first order. 这是一颗上等钻石。
- I got my first order delivered from dangdang.com. 看我够好说话的吧。
- first order logic 一阶逻辑
- The influences of Past Due,Offset Time and Safety Time on the MRP logic model are analyzed in detail,which is in according with the international standard and practical demand. 文章参照现行国际标准,详细分析了逾期量、冲销时间和安全时间对MRP逻辑模型的影响,并最终提出表达更为清晰、逻辑更为严密的MRP逻辑模型。
