理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- sea trial specification
- seat sore
- seat stabilizing device
- SEATS分解
- Seattle
- Seattle Chinese Garden
- Seattle Gas Works Park of America
- Seattle Policewomen
- Seattle Post-Intelligencer
- sea turtle
- sea urchin
- SEA view
- seawall at the south bank of Qiantang river
- seawall in China
- seawall in north Jiangsu province
- seawater absorption attenuation measuring instrument
- seawater ammonia nitrogen measuring instrument
- sea water chemical resources
- seawater chemistry
- seawater circulating cooling technology
- seawater cooling technology
- seawater culture technology of crustaceans
- sea water desalinization
- sea water desulfurization
- seawater desulfurization technology