查询词典 proving
- 与 proving 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
For the purpose of verification of the function of the isolation dyke 5 different proving tests have been made.
摘 要:交界线借用和交界线扩展是工件在液态介质中淬火冷却时经常发生的事情。
-
Where a trademark registrant or any interested submits evidence proving that another party is engaged in or will soon engage in actions that infringe upon the former's exclusive right to use his or its registered trademark and that, unless they are stopped promptly, it will cause irreparable damages to its legitimate rights and interests, he or it may, before filing a lawsuit, apply to the people's court for the granting of an injunction prohibition the relevant acts and taking measures for property preservation.
第五十七条商标注册人或者利害关系人有证据证明他人正在实施或者即将实施侵犯其注册商标专用权的行为,如不及时制止,将会使其合法权益受到难以弥补的损害的,可以在起诉前向人民法院申请采取责令停止有关行为和财产保全的措施。
-
Where a trademark registrant or any interested submits evidence proving that another party is engaged in or will soon engage in actio that infringe upon the former's exclusive right to use his or its registered trademark and that, unle they are sto ed promptly, it will cause irreparable damages to its legitimate rights and interests, he or it may, before filing a lawsuit, a ly to the people's court for the granting of an injunction prohibition the relevant acts and taking measures for property preservation.
第五十七条商标注册人或者利害关系人有证据证明他人正在实施或者即将实施侵犯其注册商标专用权的行为,如不及时制止,将会使其合法权益受到难以弥补的损害的,可以在起诉前向人民法院申请采取责令停止有关行为和财产保全的措施。
-
I enter upon my task without proving the importance of the subject.
我在尚且没有证明我要研究的主题的重要性的情况下直接投入了这项研究。
-
I have said for 20 years that our success is not an entitlement and now its proving to be a reality.
我已经说了20年我们的成功不是天赋特权,现在证明这是事实。
-
In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.
度结合为0′。本篇论文分为4个部分:第一部分介绍了这个领域的一些背景知识;第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果,这些结果与我们的主题—加杯图灵度的代数结构密切相关;在第三部分中,我们概要的描述了优先树方法的基本原理,此方法是可计算性理论中定理证明的一个重要框架和工具;第四部分证明了一个加杯图灵度代数结构的新结果:存在两个可计算枚举度a,b,满足a,b∈PC,而且a和b的并a∨b是一个高度。
-
IT services firms in Europe such as ATOS Origin, Capgemini and BPO firms like Capita are now competing fiercely with US organizations, while communications service providers such as Equant have been steadily building their experience and professional services personnel and proving that communications outsourcing is best left to a communications expert.
它在欧洲事务等整车厂商出身,capgemini和氧化苯甲酰公司现人均喜欢与美国组织的竞争非常激烈,而通讯服务提供商等等分稳步建设方面的经验和专业的服务人员和证明通信外包留待通讯专家。
-
Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.
在Coq中的证明定理是一个交互过程:比如部分判定过程可以自动完成等式推论或者Presburger算法,不过,更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。
-
This dissertation studies the applications of the inversion techniques and its equivalent form in finding and proving the hypergeo...
本文探讨了反演技术及其等价的形式在寻求和证明超几何级数恒等式方面的应用。
-
This dissertation studies the applications of the inversion techniques and its equivalent form in finding and proving the hypergeometric series identities.
本文探讨了反演技术及其等价的形式在寻求和证明超几何级数恒等式方面的应用。
- 相关中文对照歌词
- Proving Ground (Interlude)
- 推荐网络例句
-
For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether
年美国个人破产法的一个改动使得破产登记急速下降,而后引起了信用卡大规模的亏损。
-
Eph. 4:23 And that you be renewed in the spirit of your mind
弗四23 而在你们心思的灵里得以更新
-
Lao Qiu is the Chairman of China Qiuyang Translation Group and the head master of the Confucius School. He has committed himself to the research and promotion of the classics of China.
老秋先生为中国秋阳翻译集团的董事长和孔子商学院的院长,致力于国学的研究和推广。