理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- 1,3-噻唑
- 1,3噻唑
- 13次根
- 1,3-环戊二烯
- 1,3环戊二烯
- 13球问题
- 1,3-苯二胺
- 1,3-苯二酚
- 1,3苯二酚
- 1,3-苯并二嗪
- 1,3苯并二嗪
- 1400 years old ginkgo in Wuyun Mountain
- 1492年大驱逐
- 1,4 addition
- 1,4-addition
- 1,4 benzodiazine
- 1,4-benzodiazine
- 1,4 benzoquinone
- 1,4-benzoquinone
- 1,4-bis (methyl sulfonoxy) butane
- 1,4 butanediol
- 1,4-butanediol
- 1,4-butylene glycol
- 14 C dating
- 14C dating