理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- β跃迁
- β转角
- β递归性
- β递归论
- β链
- β风险
- γ acyclic structure
- γ aminobutyric acid
- γ-aminobutyric acid
- γ-aminobutyric acid (GABA)
- γ-amino butyric acid tea
- γ butyrolactone
- γ-butyrolactone
- γ-butyroladone
- γ camera
- γ-camera
- γ- carboxylation
- γ Cassiopeiae star
- γ Cas star
- γ cellulose
- γ-cellulose
- γ-correlation
- γ decay
- γ-decay
- γ decay energy