＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 logic of modality 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- duo-ring
- Duo Si
- duotricenary number notation
- duo-trio test
- Duoxiongla Shankou
- duoye
- Duoyou Ding
- Duo Yun
- Duozou
- Dupang Ling
- Du Peng
- Du Pengcheng
- Dupin
- Dupin cyclide
- Dupin indicatrix
- Dupin theorem
- duple
- d-uple imbedding
- duplet
- duplex
- duplexer
- duplexing tube
- duplex microstructure
- duplex pelvis and ureter
- duplex-specific nuclease