理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs theorem 概率可检测证明定理
- electric spark strengthening
- electric spectrophotometry
- electric sprayer
- electric stability of drilling fluid
- electric streamline
- electric submersible pump completion strings
- electric substitution radiometer
- electric susceptibility
- electric system of wind turbine system
- electric temperature measurement
- electric thawing equipment
- electric thruster
- electric tool
- electric traction
- electric traction of high speed train
- electric transition
- electric tree
- electric turbocharger
- electric turbo-compound system
- electric unit combination instrument
- electric upsetting
- electric-vacuum glass
- electric vector
- electric vector potential
- electric vehicle