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

automated reasoning assistant
.בינה	自动推理助手