attempts to check proofs done by hand with a theorem prover 的翻译是：什么意思？中文翻译英文，英文翻译中文，怎么说？-青云在线翻译网

当前位置：首页 » 翻译

匿名	关注：1 2013-05-23 12:21 求翻译：attempts to check proofs done by hand with a theorem prover has thrown away a lot of them是什么意思？待解决悬赏分：1 - 离问题结束还有 attempts to check proofs done by hand with a theorem prover has thrown away a lot of them 问题补充：

匿名	2013-05-23 12:21:38 尝试检查由手做了一个定理证明的证明已经扔掉了很多他们

匿名	2013-05-23 12:23:18 尝试检查证明由手工完成,一个定理”抛出了大量的prover他们

匿名	2013-05-23 12:24:58 企图检查用手完成的证明与定理证实者投掷了很多他们

匿名	2013-05-23 12:26:38 尝试检查证明用手工完成的定理钟罩式扔掉了很多

匿名	2013-05-23 12:28:18 尝试检查手动跟一个 theorem 证明者一起完成的证据扔掉了他们中很多

本站所有资料来源于互联网，如有侵权，请联系本站，青云翻译网沪ICP备07509807号-1 鄂公网安备42018502000813号

求翻译：attempts to check proofs done by hand with a theorem prover has thrown away a lot of them是什么意思？