电脑体验，效果更佳

类型理论图谱-计算机领域：

研究人员

金淳兆 赵荣彩 王怀民 庞建民 李文辉 全炳哲

相关术语

自动程序设计 操作语义 程序综合 函数式语言 语义性质验证 面向对象程序设计 逻辑框架

标签云