＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- greenhousesunradiation measure
- greenhouse temperature control
- greenhouse temperature measure
- greenhouse ventilation
- greenhouse whitefly
- green housing system
- Greenian
- Green identity
- green information technology
- green infrastructure
- Greening Construction
- greening in beach Saline-alkali land in Tianjin
- green innovation
- green insurance
- Green [integral] formula
- Green integral formula
- green intelligence building
- greenish discoloration on cadaver
- greenish longhorn
- greenish white porcelain bowl unearthed at Yemaotai Town，Faku County
- greenization of coking process
- green jade ornament with animal face relief
- green jade pendants with human relief
- Green-Kubo formula
- Green-Kubo relation