登录 | Chinese | 使用条款

词典论坛联络

英语 ⇄ 中文 +

Google | Forvo | +

automatic deduction in nonstandard logics

非标准逻辑中的自动演绎

增加 | 报告错误 | 获取短网址