电脑体验，效果更佳

形式规约图谱-计算机领域：

研究人员

陶秋铭 segnjueducn 王云峰 李必信 郭亮 郑国梁 侯建民 张健

相关术语

形式方法 存在量词 时序逻辑 软件Agent 面向对象 子类型 定理证明 文法归纳学习

标签云