电脑体验，效果更佳

并推理规则图谱-自然科学领域：

研究人员

陈景林 吴洪博

相关术语

半对偶形式演绎系统SL- 命题演算 形式演绎系统L

标签云