网络释义
使用分解律的定理证明 theorem proving use of resolution
双语例句原声例句
-
-
分解是使复杂问题变得易于处理的最常见的技术之一。
Decomposition is one of the most common techniques to make a complex problem tractable.
-
然而，基因活动使固有细菌的碳水化合物分解量增加。
However, the activity of genes that allow the native bacteria to break down carbohydrates did increase.
-
We transition to actually real world applications later on like a compression-- how do you take a huge amount of data ; and actually whittle it down into something more manageable; something that uses less of your disk space.
然后我们会讲生活中的应用程序,比方说压缩文件——,把大量的数据分解使其更易管理;,并占用尽量少的磁盘空间。
应用推荐