电脑体验，效果更佳

形式化语义图谱-自然科学领域：

研究人员

马军 侯金奎 张姝 张广泉 黄卿贤 胡谷雨 王立峰

相关术语

线性时序逻辑 知识表示 计算机软件 模型驱动开发 本体建模 UML顺序图 形式化语法 模型映射

标签云