从而对BCK -代数同志定理的推证得到了一个新的而更一般的方法。
By means of which we derive and prove, with a new and general schedule of reasoning, a series of homomorphism theorems for BCK-algebras.
许多不能被分解为刚性簇的问题得以解决，而不用求助于那些复杂的代数解决方法。
Many additional problems that cannot be decomposed into rigid clusters are solved, without resorting to expensive algebraic solving methods.
许多不能被分解为刚性簇的问题得以解决，而不用求助于那些复杂的代数解决方法。
Many additional problems that cannot be decomposed into rigid clusters are solved, without resorting to expensive algebraic solving methods.
应用推荐