＞数理逻辑与数学基础＞模型论＞释义 bound variable 约束变元 bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- Dzyaloshinskii-Moriya相互作用
- DZ型白矮星
- Dângrêk Mountains
- Dédougou
- Dêngqên Xian
- Dózsa Rebellion
- Dötz reaction
- Dürer
- Düsseldorf school
- Dāmodar River
- Dānishmand
- Dāthāvajsa
- Dąbrowska Maria
- Dīrghāgama
- Dɑi Kelɑi
- Dɑi Niɑnci
- Dɑi Ruwei
- Dɑomin
- dˊAlembertˊs principle
- d’Alembert
- d’Alembert criterion
- d’Alembert differential equation
- d’Alembert equation
- d’Alembert-Euler conditions
- d’Alembert formula