理论计算机科学 可计算性与计算复杂性 释文 program checking 程序检测
- transformation formula
- transformation formula of base
- transformation function
- transformation group
- transformation groups in Riemannian manifolds
- transformation in accord with constitution
- transformation into itself
- transformation involution
- transformation law
- transformation matrix
- transformation method
- transformation of air mass
- transformation of an equation
- transformation of a system
- transformation of automorphisms
- transformation of a variable
- transformation of bounded variation
- transformation of Clebsch
- transformation of coordinates
- transformation of corporate organization
- transformation of displaced harmonic oscillator
- transformation of drift
- transformation of electromagnetic field
- transformation of energy momentum
- transformation of energy-momentum