电脑体验，效果更佳

结构归纳法图谱-计算机领域：

研究人员

王立国 孙怀民

相关术语

验证系统 当前研究 程序正确性证明 自动编程技术 自动综合 语言设计 知识库 子目标

标签云