理论计算机科学 程序理论 释文 big-step semantics 大步语义
- dimension of a simplex
- dimension of a space
- dimension of a variety
- dimension of connectivity
- dimension of embedding
- dimension of manifold
- dimension of representation
- dimension of semiconductor
- dimension of the graph of a function
- dimension polynomial
- dimension print
- dimension reduction
- dimension restriction
- dimension sensor
- dimension table
- dimension theorem
- dimension theory
- dimension transducer
- dimension type
- dimension vector
- dimepiperate
- dimer
- dimerism
- dimerization
- dimerization reaction