电脑体验，效果更佳

黄达明图谱-计算机领域：

相关人员

周国强 时静艳 曾庆凯

研究领域

保护轮廓 通用评估准则 霍尔逻辑 程序验证 逻辑关系 约束 构件选择 分离逻辑

所属机构

南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室

标签云