At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
应用推荐