理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- KD-Tree
- KdV Burgers equation
- KdV-Burgers equation
- KdV-Burgers方程
- KdV equation
- KdV equation KdV
- KdV equation; Korteweg-de Vries equation
- KdV hierarchy
- KdV-like equation
- KdV分层
- KdV方程
- KdV类方程
- K dwarf
- KD树
- Ke
- Keate Award
- Keating-Owen Act
- Kebaran Culture
- Kebbi State
- Kebby Sililo Musokotwane
- kecak
- Kechai tax
- Kecheng Qu
- Keckermann
- Keck Interferometer