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

   德语 ⇄ 英语 +
Google | Forvo | +

Resolutionstheorembeweiser

m
人工智能 resolution-based theorem prover; resolution theorem prover

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