理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- Rimini Protokoll
- Rim Kin
- Rimma Fyodorovna Kazakova
- rimocidin
- rim of tube
- Rimsky-Korsakov，Nikolay
- rim-space
- rimsulfuron
- rim-type
- rimule
- Rina Lasnier
- Rinbung Xian
- rind
- rinderpest
- rinderpest vaccine
- Rindler space
- RINEX
- ring
- ring algorithm
- ring antenna
- ring aperture
- ring arc
- ring array
- ring automorphism
- ring axiom