登录 | Chinese | 使用条款
词典论坛联络

   英语 ⇄ +
Google | Forvo | +

automatic theorem proving

信息技术 自动定理证明
技术 机械证明定理

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