operational semantics 操作语义
理论计算机科学 程序理论 释文 operational semantics 操作语义
- cosecantoidal curve
- co-seismic deformation
- co-seismic displacement
- co-seismic displacement detection by high frequency GPS
- coseismic effect
- coseismic line
- coseismic mass redistribution
- coseismic slip of fault
- cosemisimple
- co-sensitization
- coseparator
- coset
- coset code
- coset construction
- coset decomposition
- coset enumeration
- coset expansion
- coset mass matrix
- coset partition function
- coset representative
- coset ring
- coset S matrix
- coset space
- coset T matrix
- cosh