电脑体验，效果更佳

黄智生图谱-计算机领域：

相关人员

张晓如 张再跃 眭跃飞

研究领域

可满足性 模态逻辑 形式系统 模糊推理 模糊约束

所属机构

中国科学院计算技术研究所智能信息处理重点... 江苏科技大学计算机科学与工程学院智能信息...

标签云