理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- heliosta field
- heliostat
- heliotail
- heliotaxis
- heliotherapy
- heliotrope
- heliotropism
- heliotype
- helipot
- Heli Shan
- helitack
- helitron
- helium
- helium-3
- helium-3 A phase
- helium-3 B phase
- helium-3 detector
- Helium 3 proportional counting tube
- helium-4
- helium abundance
- helium atom
- helium atomic spectrum
- helium bubble
- helium burning
- helium cadmium laser