go top

spass

  • n. 快乐(德语)

英英释义

SPASS

  • abstract: SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the superposition calculus. The name originally stood for Synergetic Prover Augmenting Superposition with Sorts.

以上来源于: WordNet

双语例句原声例句权威例句

  • Perhaps it`s a basketball player taking an in-bounds pass with just seconds left on the clock. He squares towards the basket and fires up a shot that`s still airborne when the buzzer sounds.

    可能篮球离终场几秒钟一个界内传球,在蜂鸣器响起的一刹那,朝着篮筐的方向飞去…

    youdao

  • S. Constitution. Such an amendment would require two-thirds majorities in both chambers to pass, followed by ratification by 38 states -- a process likely to take years.

    修正案要求两院都三分之二多数赞成才能通过然后是38个认可——这过程可能持续数年。

    youdao

  • Your boyfriend likes players who can pass like Harvey of Spain? Recommend that he check out England`s Steven Gerrard.

    如果男朋友喜欢西班牙球员哈维那样传球,你还可以推荐英格兰杰拉德

    youdao

更多双语例句
  • The Whigs were angry. Still, they did not have enough votes to pass the bill over the president's veto.

    VOA: special.2009.02.05

  • Grading: for freshmen, it's pass, no record.

    分级是,对于新生,无记录。

    麻省理工公开课 - 固态化学导论课程节选

  • According to the Second Brother, it's virtually impossible for a single, helpless maiden to pass uninjured in this wild, surrounding waste.

    弟弟认为,一个孤独无助的女孩想要,毫发无伤的穿过这野外的荒原是根本不可能的。

    耶鲁公开课 - 弥尔顿课程节选

更多原声例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定