电脑体验，效果更佳

梅卫锋图谱-自然科学领域：

相关人员

宋方敏 张昱

研究领域

布尔结构 谓词演算 量词 存在量词

所属机构

南京大学软件新技术国家重点实验室

标签云