理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- crustal dynamics
- crustal heat flow
- crustal magma
- crustal motion monitoring based on satellite navigation system
- crustal movement
- crustal spreading
- crustal strain
- crustal strain measurement in tunnel
- crustal strain rate
- crustal stress
- crustal stress and crustal strain
- crusting
- crust leather
- crust mantle
- crust-mantle boundary
- crust-mantle decoupling
- crust-mantle system
- crust movement
- crust of the earth
- crustose lichen
- crust temperature
- Crux
- Crux-Scutum arm
- CrV
- Crv