理论计算机科学 可计算性与计算复杂性 释文 quantifier contraction theorem 量词收缩定理
- modal statement
- modal structure
- modal syllogism
- modal system
- modal test
- modal truncation method
- modal truth functor
- modal unbiased estimation
- modal unbiased estimator
- modal value
- modal voice
- Mo Dan
- Modbus protocal
- Modbus协议
- mode
- mode analysis
- mode change
- mode competition
- mode configuration
- mode conversion
- mode converter
- mode coupling
- mode-coupling theory
- mode decomposition response spectrum method
- mode degeneracy