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

proof finding program
.בינה	证明查找程序
.טכנול	证明寻找程序