电脑体验，效果更佳

良序集图谱-自然科学领域：

研究人员

许绍楠 冯勇 纪兆辉 张景中

相关术语

非空子集 标准良序集 连续归纳法 良函数 程序部分正确性 超限归纳法 定理证明 程序终止性

标签云