The traditional idea used in TP is to try to deduce the empty clause to check satisfiability.
定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。
The traditional idea of wearing new clothes on the New Year's Eve no longer seems to hold sway.
新年穿新衣的传统观念似乎不再占主导地位。
Trade fast food for cooking, and maybe you restore some civility to the traditional idea of the meal.
用快餐来代替自己煮饭，也许你可以恢复一些文明的膳食传统观念。
The traditional idea that the useful things were the property has been being subjected to challenge.
有用的物即是财产的传统观念，受到严重挑战。
We should know the invisible trend of business assets and change the traditional idea of the assets.
了解企业资产无形化趋势，改变传统的资产观念。
Heidegger's inquiry of the essence of technology started with the critique to traditional idea of technology.
海德格尔对技术本质的追问是从批判传统技术观开始的。
Heidegger's thinking on essence of technology star ts with the critique to traditional idea of technology and essence.
海德格尔对技术本质的追问是从对传统技术和本质进行批判开始的。
What it did was to blend a traditional idea of literature with a modern one, thus winning itself the best of both worlds.
它通过融合文学的传统与现代观念，从而在不同领域获得双赢。
The theory of intertextuality breaks the traditional idea of meaning and provides a new perspective for translation studies.
互文性理论的提出，打破了传统翻译的意义观，为翻译研究提供了新的视角。
With the establishment of CTCS technique criterion, traditional idea and method of automatic block system design are impacted.
CTCS技术规范的制定，对自动闭塞设计的传统理念和方法产生了冲击。
The peoples traditional idea thinks that the technical progress of science would reduce the employment opportunities generally.
人们的传统观念一般认为科学技术的进步会减少就业机会。
The traditional idea about the relationships between the people of Baqi garrison and the local people is not correct and exact.
传统观念中驻防旗人与当地人民之间不通婚的概念是不准确的。
The first consideration in peoples consumption itself shows that the traditional idea of sticking to a certain place is challenged.
私家车与商品房在争夺人们心中消费第一支出的位置，这本身就是对传统安居乐业观念的超越与颠覆。
The traditional idea of quality cost has its limitations. Quality cost and quality loss are two important concepts of quality counting.
传统的质量成本观有其一定的局限性，质量成本与质量损失构成质量会计两个重要的基本概念。
In modern Chinese history, the traditional idea as to the concept of the reformers of the landlord class is the doctrine of 'Gong, Lin, Wei'.
在中国近现代历史上，关于地主阶级改革派的概念，传统的观点是“龚、林、魏”说。
Moulding to women's image of writer man, often proceed from intrinsic traditional idea, Conform with the distortion of their demands to women .
男性作家对女性形象的塑造，往往从固有的传统观念出发，对女性进行合乎其需求的扭曲。
Persons concerned dare not or will not launch lawsuit because of either ignorance of law or pressure from administrative organs or traditional idea.
行政相对人因不懂法而不知诉，或因行政机关施压或基于传统思想而不敢诉、不愿诉。
Crop straw is a precious biology resource. However, as a result of the traditional idea, the limited condition and the many-sided utilization degree is low.
农作物秸秆是一种宝贵的生物质资源，但是长期以来由于传统的观念和条件的限制，综合利用程度不高。
Since 1870s, Shanghai newspapers and journals, criticised traditional idea of "man is noble and woman is humble", and advocated that "man and woman are equal".
从1 870年代起，上海报刊就开始运用近代科学知识，批判传统的男尊女卑观念，宣传男女平等。
Some features of Chinese beauties have not changed for thousands of years while other facets are completely opposite of the traditional idea of beauty in China.
一些中国女性美的特征几千年都不曾改编，而另一些则和中国传统美的概念截然相反。 。
Jackson Pollock, Barnett Newman and Mark Rothko painted on such a scale and with such an enriched idea of space that they left the traditional idea of painting behind.
杰克逊·波洛克（Jackson Pollock），巴尼特·纽曼（Barnett Newman）和马克·罗斯科（MarkRothko）重绘了尺度，并且用这样的尺度拓展了空间概念，他们将传统的油画理论抛之脑后。
Therefore, Chinese traditional idea of law is a combination of natural law, legislation and discretion which is embodied in both legislative and judicial activities.
传统观念里的法律勿宁说是“天理、国法、人情”的综合体，在立法活动和司法活动中，这种观念都有清晰地表达。
The traditional idea about summer holiday in Norway is to pack the whole family in the car and then drive off to a small summer house in the mountains or by the sea.
挪威传统意义上的度假就是把全家塞进一辆车里，然后开到山里或者海边的小木屋避暑。
In other words, the author, the traditional idea of the author -so much under suspicion in the work of Foucault and Barthes in the late sixties — can be turned on its ear.
换言之，有一种传统的看法就是对作者置之不理，六十年代晚期在福柯和巴特的，作品中有那么多疑点。
The reasons of above-mentioned problems are investigating structure of powerful power and the influence of traditional idea and Chinese culture in the criminal procedure.
形成这种情况的原因在于强职权主义的侦查结构；传统观念的影响与“中国式”的刑事诉讼文化的影响。
The essence of this theory is to deny the traditional idea that the means of livelihood needed by workers only can meet the needs of the worker's physiological requirement.
这个理论的实质，就是否定了工人所需生活资料是仅为劳动者生理需要部分提供生活资料的传统看法。
The idea known as the feminine mystique was the traditional idea that women have only one part to play in society. They are to have children and stay at home to raise them.
所谓“女性的神话”指那种认为女性在社会中只能扮演一种角色的想法，而这个角色就是生孩子，在家里照顾孩子。
The traditional idea of converting sounds into words is of very limited use in communications. The utterance-verification technology is helpful in addressing the above sounds.
而传统的把语音转换成文字的想法在通信中用处非常有限，发音验证技术有助于处理上述声音。
Gates Foundation panel of judges selected the most innovative 106-funded research, most of them with the idea compared to the traditional idea of research is particularly bold.
盖茨基金会评审委员会最终选择了最具创新性的106项研究进行资助，其中大部分想法与传统研究思路相比显得尤其大胆。
Gates Foundation panel of judges selected the most innovative 106-funded research, most of them with the idea compared to the traditional idea of research is particularly bold.
盖茨基金会评审委员会最终选择了最具创新性的106项研究进行资助，其中大部分想法与传统研究思路相比显得尤其大胆。
应用推荐