理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- calcium remover
- calcium signaling
- calcium silicate thermal insulating material
- calcium silicide
- calcium star
- calcium sulfate
- calcium sulfate whiskers
- calcium sulfoaluminate cement
- calcium superphosphate
- calcium transient
- Calcium-treated drilling fluid
- calcium wave
- calclime fertilizer
- calcon
- calconcarboxylic acid
- calc silicate rock
- calc-spar
- calcspar
- calculable
- calculable capacitor
- calculable function
- calculable mapping
- calculable number
- calculable relation
- calculable sequence