电脑体验，效果更佳

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

研究人员

高洪江 邵利平 鹿蕾 覃征

相关术语

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

标签云