电脑体验，效果更佳

半对偶形式演绎系统SL-图谱-自然科学领域：

研究人员

吴洪博 陈景林

相关术语

命题演算 形式演绎系统L 并推理规则

标签云