理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- right-continuous function
- right-continuous process
- right-continuous with left limits
- right coprime elements
- right coronary artery
- right coset
- right coset decomposition
- right coset space
- right cylinder
- right deacon in a Chinese monastery
- right decomposition
- right delimiter of an entry
- right denominator
- right derivation
- right derivative
- right derived functor
- right difference
- right differentiability
- right differentiable function
- right differential
- right differential coefficient
- right dihedral angle
- right dimension
- right-directed quasiorder
- right-directed set