电脑体验，效果更佳

动态描述逻辑图谱-计算机领域：

研究人员

郝国舜 张子云 王茂光 张海俊 杨鲲 史忠植 彭晖 董明楷

相关术语

动作 可信软件 动态逻辑 多主体平台 服务发现和组合 语义Web 模态逻辑 可满足性问题

正在加载...