电脑体验，效果更佳

温邦彦图谱-自然科学领域：

研究领域

停机问题 NP 计算复杂性 无穷 元素 自然数 P 千禧年难题

所属机构

中国人民大学现代逻辑研究所

标签云