＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- water cooled atom trap
- water-cooled atom trap
- water-cooled atom trap (WCAT)
- water-cooled condenser
- water cooled semi continuous casting
- water-cooled vibrating grate biomass boiler
- water-cooled wall fouling
- water cooler
- water cooling
- water cooling of hydro-generator
- watercore
- watercourse
- watercress
- water culture
- water curtain
- water curtain for fire compartment
- water curtain system
- water cut
- water cycle
- water cycle change
- water delivery equipment
- water demand
- water demand management
- water demand of social and economic development
- water denitrifiers