automated deduction system 自动演绎系统 详细» automated design engineering 自动设计工程 详细» automated detection 自动检测 详细» ..
基于1个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
youdao
应用推荐
模块上移
模块下移
不移动