A new method for theorem proving of PTL

  • 命题时态逻辑定理证明新方法
  • 来源:互联网摘选更新时间:2025-01-20 17:38:21

  • 重点词汇
  • ofprep. 关于;属于…的;由…制成;
  • newadj.新的,崭新的;新鲜的,新到的;现代的;初次(听到)的;
  • aart. (用于可数名词或单数名词前,表示未曾提到的)一(人、事、物);用于前有形容词或后有短语的不可数名词前;一(个);每一(个);任一(个);
  • methodn.方法;有条不紊;
  • PTLabbr.Photographic Technology Laboratory <美>摄影技术实验所;
  • theoremn.[数] 定理;(能证明的)一般原理,公理,定律,法则;
  • forconj.因为,由于;
  • provingn.校对;
  • 相关例句
1、

In this case, they are also called long legged harvestmen.

在这种情况下,他们也被称为“长腿收成者”。

provided by jukuu

2、

The effects of alignment errors on optical transfer function ( QTF) We concern about the effects of the fabrication errors on OTF of optical system for hybrid diffractive/ refractive optical system.

对准误差对光学传递函数的影响对于折衍混合光学系统,更关心的是衍射光学元件的制作误差对系统光学传递函数的影响。

互联网摘选

3、

The research results show that taxation is a constructive measure, which may effectively control the harvest effort and protect the biological resource in the ecosystem from overharvesting.

研究结果表明,税收是一种具有建设性的调控手段,它能够有效地限制捕获行为,从而抑制对生态资源的过度捕获并达到保护生态资源的目的。

互联网摘选

4、

Mycologists studying the fungus point to overharvesting as one reason.

研究虫草的真菌学家认为过度采摘是出现这种状况的一个原因。

互联网摘选

5、

The real extinction problem, he says, is human population pressure: habitat destruction, pesticide abuse, overharvesting, and species invasion.

他说,真正的灭绝问题是人类的人口压力:居住地的破坏、滥用杀虫剂、过度捕杀、物种入侵等。

互联网摘选

6、

The good harvest scene emerges in front of us.

丰收景象在我们面前展现出来.

互联网摘选

7、

Should it rain next week the farmers would have a good harvest.

要是下周能下雨的话,农民们就能有个好收成了.

互联网摘选

8、

They predicted that the next year would be a good harvest.

他们预言下一年将是大丰收.

互联网摘选

9、

A good harvest was obtained in spite of the drought.

尽管遭受干旱,还是获得了好收成.

互联网摘选

10、

If we plant a good seed, we reap a good harvest.

我们若种下好种子, 就会有丰收.

互联网摘选

12、

There was a fall in the price of apples after the good harvest.

苹果丰收后价格下跌了.

词典精选例句

13、

We have a good harvest but our distribution is bad.

我们丰收了,但是产品卖不出去.

词典精选例句

14、

We expect a good harvest this autumn.

今秋可望丰收.

《现代汉英综合大词典》

15、

Our conversation turned to the bumper harvest this year.

我们的话题转到今年的大丰收.

互联网摘选

16、

Only by working hard can we reap a bumper harvest.

只有通过辛勤的劳动才能收获丰硕的成果.

互联网摘选

17、

The peasants were sure that they would another bumper harvest year.

农民们肯定他们在那年将再获丰收.

互联网摘选

18、

Agricultural conquer severe drought, greeted the 3 rd bumper harvest year.

农业战胜了严重的旱灾, 迎来了第三个丰收年.

互联网摘选

19、

This painting represents a scene of bumper harvest.

这幅画表现了一片丰收景象.

词典精选例句

20、

Signs of merry life could be seen everywhere after the bumper harvest.

丰收以后到处可以看到一片欢乐景象.

词典精选例句

  • 今日热词
  • 热门搜索

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

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