电脑体验，效果更佳

动态语义图谱-计算机领域：

研究人员

唐稚松 柳军飞 翟玉庆 孙伟 田勇 李广元 董广智

相关术语

自动机 数字权限模型 图形建模 工作流过程 反应式控制 程序验证 指针 一阶动态逻辑

标签云