理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- explosive cutter
- explosive cyclone over ocean
- explosive deafness
- explosive detector
- explosive era
- explosive fire fight
- explosive flare
- explosive forming
- explosive fragmentation
- explosive galaxy
- explosive-handling vehicle
- explosive hardening
- explosive homicide cases
- explosive instability
- explosive lens apparatus
- explosive material
- explosive nucleosynthesis
- explosive oil production technique
- explosive phase
- explosive polymerization
- explosive residual stresses relieving
- explosive residue
- explosives
- explosives and propellants
- explosives charger