您要查找的是不是：
- higher order predicate calculus [计] 高阶谓词演算
- FIRST - ORDER PREDICATE CALCULUS 一阶谓词演算
- first order predicate calculus formal system 一阶谓词演算形式系统
- NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus 一阶谓词演算自然演绎型直觉主义系统
- first order predicate calculus 一阶谓词演算
- Social position or rank, especially of high order. 社会等级社会地位或等级，特别是指较高社会地位
- The atomic formula is called atom for short in predicate calculus. 在谓词演算中，有时将原子公式简称为原子。
- As a lightweight his skill is of the highest order. 作为轻量级拳击手，他的技术是第一流的。
- Also, first-order predicate calculus isn't good enough anyway. 同时，从各方面来说，一阶谓词演算都不是足够好。
- This is not expressible as a first-order predicate calculus property. 这就是一个一阶谓词演算不可表述的属性。
- The job requires diplomatic skills of a high order. 这项工作要求高超的外交技巧。
- In the refutation tree of predicate calculus, the proved conjunctive formula. 在谓词演算的反驳树中,被证明的合式公式。
- Also predicate calculus, which studies the internal structure of simple. 也叫谓语演算,它研究简单马那瓜体的内部结构。
- A task that is initiated and terminated by a higher order task. 一种由较高一级的任务来启动和终止的任务。
- RESEARCH ON THE DESIGN OF HIGH ORDER CURRENT-MODE ACTIVE FILTER. 高阶电流模式有源滤波器设计。
- A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax. 一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
- Companionship of high order is powerful to develop character. 在交往中，性情对于性情的影响胜过其他一切因素。
- High order polynomials can be highly oscillatory. 高次多项式往往有高度波动的特性。
- higher order predicate logic 高阶谓词逻辑
- Companionship of a high order is powerful to develop character. 高质的友谊能有力地将性格逐渐显现出来。
