电脑体验，效果更佳

形式演绎系统L图谱-自然科学领域：

研究人员

吴洪博 陈景林 王小敏

相关术语

半对偶形式演绎系统SL- 模糊逻辑 基础R0代数 R0代数 等价系统 并推理规则 命题演算

标签云