理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- environmental risk prevention
- environmental sanitation at the construction site
- Environmental Satellite
- environmental satellite
- environmental scale
- Environmental School
- Environmental Science
- environmental science communication
- Environmental Science & Technology
- environmental self-purification
- environmental sensing
- environmental services
- environmental simile
- Environmental simulation
- environmental simulation
- environmental simulation test of nuclear weapon
- environmental social governance
- environmental social organizations
- environmental social risk assessment
- environmental soil science
- environmental space
- environmental space atmosphere
- environmental space combination
- environmental space design
- environmental space design techniques