atics) 基于数组的高性能科学计算(Array-based high performance scientific computing) 自动推导(Automated deduction) 自动推理及其应用(Automated Reasoning and its applications) 算法、移动计算、运筹、容错计算与超大规模集成电路(Des..
基于24个网页-相关网页
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.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
应用推荐