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

automatic deduction in nonstandard logics
.בינה	非标准逻辑中的自动演绎