＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- adhesive production equipment
- adhesive property of oil
- adhesive wear
- Adhil
- adhint
- ad hoc arbitration
- Ad Hoc network
- ad hoc on-demand distance vector
- ad hoc on-demand distance vector, AODV
- ad hoc processing
- Ad Hoc routing
- ad hoc workflow
- Ad Hoc网络
- Ad Hoc路由
- adhodae herba
- Adhémar Jean Claude Barré de Saint-Venant
- ADI
- adiabat
- adiabatic
- adiabatically isolated system
- adiabatic approximation
- adiabatic baryon model
- adiabatic calorimeter
- adiabatic calorimetry
- adiabatic CDM model