理论计算机科学 程序理论 释文 predicate transformer semantics 谓词转换语义
- Diaomu
- Diaoqiang opera
- Diaosheng's bronzes
- Diaoshuihu Guojia Senlin Gongyuan
- Diaoxiang'an Gao
- Diao Yinan
- Diaoyucheng International New Media Art Festival
- Diaoyucheng of Southern Song Dynasty
- diapause
- diapause hormone
- diapensia family
- diaper
- diaper dermatitis
- diaphaneity
- diaphanometer
- diaphanometry
- diaphanoscope
- diaphanotheca
- diaphanous
- diaphonics
- diaphoretic method
- diaphorimeter
- diaphotoscope
- diaphototropic
- diaphototropism