理论计算机科学 程序理论 释文 predicate transformer semantics 谓词转换语义
- harmonic gauge
- harmonic generation
- harmonic-generator laser
- harmonic-geometric mean
- harmonic group of points
- harmonic homology
- harmonic integral
- harmonic interpolation
- harmonicity
- harmonic kernel function
- harmonic laser
- harmonic law
- harmonic linearization
- harmonic logarithm
- harmonic major
- harmonic majorant
- harmonic majorant function
- harmonic manifold
- harmonic map
- harmonic mapping
- harmonic mean
- harmonic mean index
- harmonic measure
- harmonic measurement
- harmonic minorant