＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- rotation subgroup
- rotation surface
- rotation synthesis
- rotation system
- rotation system in ancient times
- rotation temperature
- rotation tensor
- rotation theorem
- rotation tillage
- rotation transformation
- rotation vector
- rotation vibration band
- rotation-vibration band
- rotation vibration coupling
- rotation-vibration coupling
- rotation-vibration spectrum
- rotation-vibration state
- rotator
- Rotator cuff injury
- rotatores
- rotatory
- rotatory affinity
- rotatory collineation
- rotatory dispersion
- rotatory evaporator