＞数理逻辑与数学基础＞递归论＞释义 μ-recursive function μ递归函数
理论计算机科学 可计算性与计算复杂性 释文 μ-recursive function μ递归函数
- Dzhugdzhur Mountains
- Dziban
- Dziga Vertov
- DZ white dwarf
- Dzyaloshinskii-Moriya interaction
- 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