אנגלית ⇄ גרמנית סינית רוסית +

automatic theorem proving
.טֶכנו	机械证明定理
.טכנול	自动定理证明