Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.

  • 象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作.
  • 来源:网络文摘精选更新时间:2026-07-13 20:08:15

  • 重点词汇
  • such as像, 例如;譬如;诸如;
  • automatedadj.自动化的;
  • ofprep. 关于;属于…的;由…制成;
  • checkersn.西洋跳棋;方格图案( checker的名词复数 );
  • modeln.模型;模特儿;模式;典型;
  • theoremn.[数] 定理;(能证明的)一般原理,公理,定律,法则;
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • anart. 一;一个;(用于元音音素开头的单词前)
  • 相关例句
1、

The chicken checkers ought to check the chickens that the chicken catchers caught.

鸡场检验员应该检查生了病的鸡场工作人员抓的鸡.

网络文摘精选

2、

For example , if a dog has mostly red checkers in its collection , it will appear Red.

如果它的因子群里面绝大多数是白的棋子, 它的被毛就会是奶酪色.

网络文摘精选

3、

We played checkers and ate pear and peanuts all night.

我们整个晚上都在下西洋棋,吃梨子和花生.

网络文摘精选

4、

I played checkers yesterday.

我昨天下棋了.

网络文摘精选

5、

Clerk: A savings account is to help you save money. A checking account is more convenient.

职员: 储蓄账户是帮你存钱, 支票存款账户更方便.

网络文摘精选

6、

Your current advance limit appears in the Direct DeposIt'section of your monthly checking account statement.

您现有的预支限额显示在您每月支票帐户对帐单上的直接存款预支服务项目下.

网络文摘精选

7、

Excuse me, can you tell me the difference between a savings account and a checking account?

请您告诉我储蓄存款与支票存款有什么不同好 吗 ?

网络文摘精选

8、

I think I need a checking account so that I can pay my bill.

我想我需要开一个支票帐户,这样我可以付账.

网络文摘精选

9、

Whats the minimum amount for opening a checking account?

支票账户的最低起存金额是多少?

网络文摘精选

10、

I have a checking account at the bank.

我在那家银行有个储蓄存款的户头.

网络文摘精选

11、

You can have a checking account.

您可以开个支票户头.

网络文摘精选

12、

Do I help your checking account?

我帮助你核对帐目好 吗 ?

词典精选例句

13、

Many people have two accounts in a bank: a savings account and a checking account.

许多人在银行有两个账户: 一个使储蓄账户,另一个是支票账户.

网络文摘精选

14、

I hxdye a checking account here.

我在这里有一个支票存款帐户.

网络文摘精选

15、

Customer: Regarding the interest rate, what is the difference between a sxdyings account and checking account?

顾客: 在利率方面, 储蓄存款和支票存款有什么不同?

网络文摘精选

16、

You must make a minimum deposit of & 50 to open a checking account.

你最少必须存五十元才能开活期存款户头.

网络文摘精选

17、

Clerk: A savings account or a checking account?

职员: 你是开储蓄账户还是开支票活期存款账户?

网络文摘精选

18、

I need a checking account so that I can pay my bills.

我需开个支票帐户,这样就能付帐.

网络文摘精选

19、

Would you like to open a account or a checking account?

请问你想开现金户头还是支票户头?

网络文摘精选

20、

You can have a checking account if you prefer to pay things by check.

如果你喜欢用支票买东西,你可以开个支票户头.

网络文摘精选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈