bounded variable 📖 中文释义 [计] 有界变量, 受限变量 ← bounded universal quantifier B 字母词表 bounded variable algorithm →