电脑体验，效果更佳

孙希文图谱-自然科学领域：

相关人员

毕建东 叶风 钱国良

研究领域

假设 缺席逻辑 逆绎推理 形式化 必要性

所属机构

哈尔滨工业大学计算机科学与工程系

标签云