电脑体验，效果更佳

于江生图谱-自然科学领域：

相关人员

程民德

研究领域

蕴涵 最小不相容特征描述逻辑 特征和 多值非循环有限自动机 信念格

所属机构

北京大学数学科学学院

标签云