＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- two-planes vertical balancing machine
- two plasmon decay
- Two Plays on Emperor Qianlong's First Southern Expedition
- Two Plus Four Negotiation
- two-point boundary value problem
- two point correlation function
- two-point correlation function
- two-point discrete space
- two-point distance
- two point distribution
- two-point distribution
- two-point equation
- two-point form
- two-point interpolation problem
- two-point linkage analysis
- two-point problem
- two-point property
- two-point tensor
- two-point threshold
- two-port
- two-port network
- two-priority
- Two Prison Guards
- two proton emission
- two-proton emission