查询词典 enable...to

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Features: Near-field RFID operation to enable reading of Item Level Tags Work with UHF Gen2 RFID tags that incorporate an inductive near-field component including the Button, Paperclip and Satellite tags High performance, low cost antenna solution Table top or table bottom mounting Specifications: Information in this specification is subject to change without further notice The CS-777 near-field reader antenna is a key enabling technology for UHF Gen2 Item-Level Tagging systems.

它可用于零售和制药应用，图书馆系统，文件控制，检查柜台和许多其他应用程序需要一个短距离和密集读取范围的限制的关建技术应用。近场的RFID运作，使项目级标记阅读超高频二代RFID标签的工作融合了归纳近场组成，其中包括高性能，低成本的天线解决方案表顶部或底部安装表规格：使技术UHF第二代产品级别标记系统。

The CH-53 is one of the few helicopters with an instrument landing system to enable landings in bad visibility to ILS-equipped air bases.

CH-53常被布置在海军的两栖攻击舰上，是美海军陆战队由舰到陆的主要突击力量之一，在美军两栖作战任务中起到非常关键的作用。

It has since been replaced in the heavy lift mission by the CH-53E Super Stallion. The CH-53 is one of the few helicopters with an instrument landing system to enable landings in bad visibility to ILS-equipped air bases.

CH-53常被布置在海军的两栖攻击舰上，是美海军陆战队由舰到陆的主要突击力量之一，在美军两栖作战任务中起到非常关键的作用。

A full inspection in accordance with paragraph 1 of this Standard shall be carried out prior to expiry of the interim certificate to enable issue of the full-term maritime labour certificate.

在临时证书到期前，应根据本标准第1款进行全面检查，以便签发正式的海事劳工证书。

This will now enable us to further contribute to the signficant regeneration of this area of Islington.

这使我们能对埃斯林顿市该地区的重建做出更多贡献。

An attempt to enable computers to assess the emotional meaning of text is being led by Stephen Pulman of the University of Oxford and Karo Moilanen, one of his doctoral students.

牛津大学的斯蒂芬·波曼和他的博士生卡罗·莫拉南正进行一项研究，尝试使电脑能评估文本中的情感因素。

FriendFeed friendfeed is a new service that will enable you to keep up-to-date with all of the online activity of your friends and family easily.

是一项新的服务，这将使你保持不断更新的，与所有的线上活动，你的朋友和家人轻松。

He rich operational experience to enable him to gradually become the most famous and most popular Kok one of the fighters.

他本身丰富的作战经验使他逐步成为最著名和最受欢迎的角斗士之一。

Because the young, we Needless to bear the burden of history can be our core technology built on the new digital control platform, and this platform will enable us to achieve the industry's second leap.

因为年轻，我们勿需背负历史的包袱，可以将我们的核心技术建立在全新的数字化控制平台上，而这个平台将会使我们实现本行业的第二次飞跃。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。