理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- Papers on Chinese Grammar
- Papers on the Science of Administration
- paper spray ionization
- paper stereotype
- paper tally
- paper testing machine
- paper throw
- paper transport
- paper unearthed in Han dynasty
- Papez circuit and limbic system
- Paphos
- papiliochrome
- papilionaceous corolla
- papilla
- papillary foramina
- papillary laye
- papillary muscle rupture and dysfunction
- papillary process
- papillary ridge
- papilledema
- papilloma
- papilloma of external canal
- Papperitz
- Papperitz equation
- Pappian geometry