理论计算机科学 程序理论 释文 correctness proof 正确性证明
- dmangs-glu
- Dmanisi Homo erectus
- DMC
- DMCA
- DMCRA
- DME
- d. Meer
- DME navigation system
- dMe star
- DMF
- DMFC
- DMFT
- DM interaction
- Dmitri Borisovich Kedrin
- Dmitrii Konstantinovich Chernov
- Dmitri Iosifovich Ivanovsky
- Dmitri Ivanovich Mendeleev
- Dmitri Kessel
- Dmitri Nikolaievitch Baltermant
- Dmitriy Andreyevich Furmanov
- Dmitriy Iosifovich Klenovski
- Dmitry Alexandrovich Prigov
- Dmitry Borisovich Kabalevsky
- Dmitry Dmitrievich Minaev
- Dmitry Ivanovich Mendeleyev