您要查找的是不是：
- 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)的逻辑公理系统。
- one order logic 一阶逻辑
- 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. 好,您点的是一个吉士汉堡和一份鸡翅。多点儿调料。
- A: OK, so that's one cheeseburger and one order of chicken wings, extra spicy. 好，您点的是一个吉士汉堡和一份鸡翅.;多点儿调料
- Will you drink one ordering wine again? 你要再喝一点酒吗?
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- We are interested in not only one order,but in transact large repeat business with you. 我们不希望顾客仅一次光顾，而是希望能够大量持续的进行交易。
- When sharing a quest, the order logic has changed to check whether or not the player has completed or is ineligible for the quest before checking whether their quest log is full. - 共享任务时，逻辑改为检查队友是否完成了任务或有无资格接受任务，而不是检查任务日志是否已经满了。
- 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. 一种秩序一去不复返了。另一种秩序虽然还很模糊而不稳定，但已经诞生。
- Each order can have more than one line item, but each line item is connected to only one order. 每个订单可以具有多个行项目,而每个行项目仅与一个订单相关。
- 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的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
- The test results show that the PIGA's test precision can be improved one order higher using three-axis turntable. 试验结果表明,利用三轴转台可以成功地将陀螺加速度表测试精度提高一个数量级。
- We have had only one order from ABC Co. ， Ltd. ， so we regret we cannot give you a reference from long experience. 我们仅接受ABC有限公司地一笔定货，很遗憾我们不能提供具有长期交往经历地资信情况。
- Three-order low pass filter is implemented by one order Sallen-Key circuit and two-order Sallen-Key circuit. 三阶的低通滤波器使用一个一阶Sallen-Key电路串联一个二阶Sallen-Key电路来达成。
- They are differential equations which are one order lower than the Lagrange's equations. 而循环积分可能不止一个，有几个循环坐标，便有几个相应的循环积分。
- There can be only one ORDER BY or COMPUTE clause after the last SELECT statement; it is applied to the final, combined result set. 而只能在最后一个SELECT语句的后面使用一个ORDER BY或COMPUTE子句;该子句适用于最终的组合结果集。
