＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- life assessment of units
- life assistant robot
- life assurance
- life-bearing planet
- life belt
- lifeboat davit
- lifeboat special use chart
- life-career rainbow
- life care service for disabled elderly
- life characteristics
- life community
- life community of nature
- life course
- life course research
- life curve
- life cycle
- Life Cycle Analysis
- Life Cycle Analysis, LCA
- life cycle assessment
- life cycle cost
- life cycle cost analysis
- life cycle costing assessment
- life cycle cost of building
- life cycle design
- life cycle environmental impact assessment