＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- leading variable
- leading wave
- leading work group
- leading zero
- lead-lag control
- leadless chip carrier
- leadless chip carrier, LLCC
- lead line
- lead metallurgy
- lead mineral
- lead monoxide
- lead nitrate
- lead optimization
- Lead ore resources
- lead oxide
- lead oxide vidicon
- lead poisoning
- lead pollution of agricultural soils
- lead rail
- lead refinery
- lead-removing function of health food
- lead salt materials for 1～3μm infrared detectors
- lead screw
- lead screw grinding machine
- lead selenide