| 词汇 |
higher-order predicate calculus |
| 释义 |
higher-order predicate calculus
高阶述词演算
有的将二阶述词演算称为高阶述词演算，也有的将有时间概念的述词演算称为高阶述词演算。 |
| 随便看 |
- cost escalation insurance
- cost-free
- cost & freight non-conference freight
- cost,insurance and freight
- cost,insurance and freight price
- cost,insurance,freight and commission
- cost,insurance,freight and commission and interest
- cost,insurance,freight and exchange
- cost,insurance,freight and interest
- cost,insurance,freight,cleared
- cost,insurance,freight,landed
- costive
- costless
- costliness
- costly
- costmary
- cost of capital
- cost of funds
- cost of living
- cost of living index
- cost-of-living index
- costotome
- cost-plus
- cost plus contract
- cost plus fee contract
|