理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- rasterizer
- raster mapping
- raster scan
- raster scan disentry system
- raster scan mapping
- RASTI
- Rastriya Prajatantra Party
- RAS法
- Ras蛋白
- RAT
- Ratak Chain
- RATAN-600
- RATAN600米射电望远镜
- Ratanakiri Province
- ratany family
- Ratatouille
- rat-bite fever
- ratch
- Ratchaburi / Rat Buri
- ratchet
- ratcheting
- ratcheting effect
- rat community structure
- rate
- rate- and state-dependent friction law