电脑体验，效果更佳

白洪涛图谱-计算机领域：

相关人员

张立明 张其林 欧阳丹彤 魏吉东

研究领域

内部区域 区域表 命题逻辑 输入线 网格点 外部区域 定理证明 归结 区域 半扩展规则 网格线 可满足性问题

所属机构

山东省淄博市建筑工程管理处 同济大学建筑工程系 山东淄博

标签云