电脑体验，效果更佳

重写系统图谱-自然科学领域：

研究人员

张洛欣 李永礼 林凯 孙永强 李廉

相关术语

半群性质判定 证伪方法论 局部归约序 PN合一 正则元 Church-Rosser条件 假说演算 合流性

标签云