＞数理逻辑与数学基础＞递归论＞释义 Godel numbering 哥德尔编码
理论计算机科学 可计算性与计算复杂性 释文 Godel numbering 哥德尔配数
- Dedekind zeta function
- Dedekind zeta-function
- Dedekind ζ function
- Dedekind ζ-function
- Dedekind η function
- Dedekind η-function
- Dedema
- dedendum
- dedicated airfoils for wind turbines
- dedicated medical equipment of air force
- dedicated medical equipment of the rocket force
- dedicated short range communication
- Dedicated to Ding Yi
- Dedicated to Yalta
- dedication rate of talent
- de dicto intepretation
- dedifferentiation
- dedisperser
- de-dispersion
- dedispersion
- dedolomitization
- DEDS
- deducibility
- deducibility theorem
- deducible