推理法可能被推理学者们逐步树立为一门精密的学科。

It can be built up as an exact science by the reasoner.

youdao

给出了确定局部结构已知的有限半群的推理法则，提出了一种新的计算机算法。

A new computer algorithm for the finite semigroups with a known partial structure is given.

youdao

给出了确定局部结构已知的有限半群的推理法则，提出了一种新的计算机算法。

A new computer algorithm for the finite semigroups with a known partial structure is given.

youdao