查询词典 boyer

The Boyer Center for Molecular Center is a research center of Yale University School of Medicine.

这是耶鲁大学分子研究中心的网站。

Connection is the base of Boyer's academic ideas, which embodies in the core commonalities of human.

联系是博耶学术思想的基础，它体现在人类的核心共性之中。

"Kevin, what happened to Mr. Boyer's message?"

"凯文，博耶先生留的口信到底是怎么一回事？"

One of the most noticeable achievements since then was made by the Herbert Boyer Company.

从那以后，希尔伯特-波义尔公司取得了一个举世瞩目的成就。

Dr. Boyer is one of many who believe that a radical revision of the school calendar is inevitable."School, whether we like it or not, is educational. It always has been."

有众多的人相信学校教学日程的根本变更是不可避免的，而博雅博士是其中之一：学校，不管我们喜欢与否，是接受教育的地方，而且永远都是。

Ernest Boyer, head of the Carnegie Foundation for the Advancement of Teaching.

博雅博士说，在学校日里和实际生活之间，我们犯了巨大的计算错误。

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定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

He thanked us via Twitter, and also told us that the iron in his room was broken," says hotel spokeswoman Melanie Boyer."

他通过Twitter感谢我们，还告诉我们他房间的熨斗坏了。&酒店发言人Melanie Boyer如是说。&

According to Valery Boyer, the lawmaker who authored the bill, it applies to models of both genders, but focuses mostly on women's health and well-being.

根据此法案的立法者Valery Boyer，这项法案适用于所有模特，但主要是针对女性模特的健康。

Boyer's work also parallels and illustrates the emergence of bioenergetics in the second half of the twentieth century, rivaling achievements in evolution and molecular biology.

Boyer的工作也延伸和illustrate了［意思应为&make bright&，汉语还真不好翻译， ops：］在二十世纪的下半叶生物能量学的出现，他的工作可以和进化论及分子生物学上的成就相媲美。

Do you know, i need you to come back

你知道吗，我需要你回来

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

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