理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- after-treatment of short fiber
- After Virtue: A Study in Moral Theory
- afterwards control
- afterword of the journal
- Aftout Essahli
- A Further Handbook to Peking Opera
- A Further History of Qing Painting
- AFX News Limited
- AFX新闻有限公司
- AF代数
- AG
- Ag
- AG accelerator
- Agadez
- Agadir
- Ag-AgCl electrode
- again processing tea
- Against Cursive Calligraph
- Against the Current
- Aga Khan Award for Architecture
- Aga Khan Foundation
- Aga Khan Museum
- Agalega Islands
- A Gallant Scholar and a Female Taoist
- A. Galvani