＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- target readers
- target recognition
- target reconstruction
- target responsibility system
- target road engineering survey
- targetry
- target scattering
- target selectivity of conformance control agent
- targets of carbohydrate drug
- targets of policy termination
- target space
- target strength
- target system
- target system of social work
- Target-Task Method
- target theory
- target theory of radiation
- target tissue
- target to non-target ratio
- target to nontarget ratio
- target to non-target ratio (T/NT)
- target tracking
- target-tracking lidar
- target-track lidar
- target transformation factor analysis