אנגלית ⇄ סינית +

machine theorem proving
.טכנול	机器定理证明