＞数理逻辑与数学基础＞递归论＞释义 Church-Turing thesis 丘奇-图灵论题 Church-Turing thesis 丘奇-图灵论题
理论计算机科学 可计算性与计算复杂性 释文 Church-Turing thesis 丘奇-图灵论题
- 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