＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- drilling blowout rescue technology
- drilling chemical
- drilling complicacy
- drilling core
- drilling core gamma-ray documentation
- drilling coring
- drilling coring logging technology
- drilling efficiency index
- drilling engineering
- drilling engineering design
- drilling engineering economic evaluation
- drilling engineering economic evaluation indicators
- drilling engineering logging technology
- drilling equipment
- drilling expert system
- drilling fire
- drilling fluid
- drilling fluid agitator
- Drilling Fluid and Completion Fluid
- drilling fluid annular flow
- drilling fluid cake adhesion coefficient
- drilling fluid cake sluggish coefficient
- drilling fluid circulation system
- drilling fluid cleaner
- drilling fluid contamination