理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- Weingarten derivational formula
- Weingarten equation
- Weingarten formula
- Weingarten map
- Weingarten surface
- Weingarten transformation
- Weining Beishan
- Weining pingyuan
- Weining sheep
- Weining Yizu Huizu Miaozu Zizhixian
- Weinland effect
- Weinreb ketone synthesis
- Weinreich, Uriel
- Weinstein
- Weinstein theorem
- Weipa
- Weipa bauxite deposit
- weiqi
- Wei Qilin
- Wei Qimei
- Wei Qing
- Wei Qingzhi
- Wei Qixian
- Wei queen of disorderly
- weir