电脑体验，效果更佳

归结式图谱-计算机领域：

研究人员

刘叙华 孙永强 林凯 朱长虹 陆汝占 吴茂康

相关术语

文字 遗传因子 单子句 语义归结 强蕴涵 算子模糊逻辑 归结原理 定理证明

标签云