＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- heavy media
- heavy-media separation equipment
- heavy-media separator
- heavy-medium cyclone
- heavy-medium vibrating chute
- heavy meson
- heavy metal
- heavy metal contamination of fisheries environment
- heavy metal elements measurements
- heavy metal in aquatic food
- heavy metal ion adsorbent
- heavy-metal ions absorbent fiber
- heavy metal measurement by laser-induced breakdown spectroscopy
- heavy metal pollutants poisoning
- heavy metal removal technology
- heavy metals
- heavy metal solidification agent of soil
- heavy metal star
- heavy metal stress
- heavy metals wastewater
- heavy metal tolerance of plants
- heavy mineral concentrates geochemical survey
- heavy neutral lepton
- heavy nuclear fission
- heavy nucleus