理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- rock art
- rock avalanche disaster, RAD
- rock bearing plate experiment
- rock bit drilling
- rock blasting damage fragments theory
- rock blasting dynamic characteristics
- rock blasting in tunnel
- rock block
- rock-bolt support
- rock bream
- rock brittleness
- Rockbund Art Museum
- rock burst
- rockburst
- rockburst control
- rockburst forecasting
- rock carp
- Rock Climbing
- rock climbing
- rock compression coefficient
- rock compressive strength
- rock computed tomography experiment
- rock constitutive equation
- rock creep
- rock crushing mechanism