“bound variable”的概念、定义、翻译、参考文献-科学参考

单词	bound variable
释义	bound variable Mathematics ＞数理逻辑与数学基础＞模型论＞释义 bound variable约束变元 bound variable约束变元，约束变量^†，约束变项 Computer 理论计算机科学程序理论释文 bound variable约束变量
随便看	mean sun mean surface mean synodic month mean synodic motion mean synodic period mean synodic revolution mean synodic rotation mean synodic year mean tangent diameter mean term mean term of proportion mean-tidal system mean tide mean time mean time between failure mean time between failures mean time between failures, MTBF mean time between failures，MTBF mean-time clock mean time to dangerous failure mean time to failure mean time to failure, MTTF mean time to first failure mean time to repair mean time to repair, MTTR

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。