＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- computational geometry
- computational geometry algorithm
- computational group theory
- computational heat transfer
- computational instability
- computational intelligence
- computational intractability
- computational irreducibility
- computational learning theory
- Computational Lexicography
- Computational Linguistics
- computational linguistics
- computationally indistinguishable
- computational material science
- computational materials science
- computational mathematics
- computational measure
- computational mechanics
- computational mechanics in mechanical engineering
- computational method
- computational methods
- computational methods in nonlinear dynamics
- computational mineralogy
- computational model
- computational models of human learning