电脑体验，效果更佳

钱俊彦图谱-计算机领域：

相关人员

赵岭忠 古天龙 蔡国永 王雪松 徐宝文

研究领域

Prolog ASP知识库 正确调用模式语义 抽象模型检验 谓词公式 模型检验 调用模式语义 抽象解释

所属机构

广西桂林 桂林电子工业学院计算机系 南京大学计算机科学与技术系 桂林电子科技大学计算机与控制学院 南京大学计算机软件新技术国家重点实验室

标签云