＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- underwater piezoelectric sensing technology
- underwater pipeline
- underwater positioning
- underwater pressurization system
- underwater processing system
- underwater propulsion
- underwater raman spectroscopy
- underwater reef blasting
- underwater robot
- underwater rockplug blasting
- underwater sampling
- underwater sensing technology
- underwater sensor network
- underwater signaling apparatus
- Underwater Site of Dongjiao Village in Xiaolian Island of Pingtan
- Underwater Site of Haitan Strait at Pingtan
- underwater sound countermeasure
- underwater sound projector
- underwater sound propagation
- underwater sound recorder
- underwater sound transducer
- underwater span-connecting tube
- underwater sports
- underwater structural health monitoring system
- underwater surface coating anticorrosion