电脑体验，效果更佳

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

相关人员

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

研究领域

Prolog ASP知识库 正确调用模式语义 抽象模型检验 谓词公式 模型检验 调用模式语义 抽象解释 操作语义 回答集程序设计 Statecharts 谓词逻辑 EHA TCTL 强保留 精化 时间自动机 完备性 主属性区分方法测试

所属机构

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

标签云