自动推理算法
基于1个网页-相关网页
automated reasoning algorithm
以上为机器翻译结果，长、整句建议使用 人工翻译 。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
youdao
应用推荐
模块上移
模块下移
不移动