This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
The DM-decomposition algorithm is an automated geometric deduction method based on the DM - decomposition of bigraphs.
几何自动推理的DM -分解算法是一个基于偶图DM -分解的几何自动推理方法。
In the representing bigraph of automated geometric deduction, every rigid owns at least one knot.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
应用推荐