电脑体验，效果更佳

前向精化图谱-计算机领域：

研究人员

鹿蕾 覃征 高洪江 邵利平

相关术语

形式化方法 反向精化 抽象机 广义代换 证明义务

标签云