理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs, PCP 概率可检测证明
- Sario normal operator
- Sarira Boxes of the Tang Dynasty
- Sarira Dagoba
- Sarira Dagoba in Qixia Temple
- Sarira-stupas on“Diamod Thrones”
- SARIs
- Sariska National Park
- sarkomycin
- SAR-Lupe satellite
- sarmentosin
- Sarnak, Peter Clive
- Sarnath
- saroban
- Sarod
- Saros
- Saros cycle
- Saros series
- SAR payload of GaoFen 3
- SARPCCO
- SAR polarimetry
- Sarrus
- Sarrus law
- Sarrus linkage
- Sarrus number
- SARS coronavirus genome