Remainder method for the mechanical theorem proving in first-order predicate calculus
一阶谓词演算定理机器证明的余式方法
来源:互联网摘选并着重从理论原理和实验实现这两方面说明利用余因子函数和离散傅里叶变换使这种量子算法对因子分解是有效的。
来源:互联网摘选确认经济合同部分无效的,如果不影响其余部分的效力,其余部分仍然有效。
来源:词典精选例句Public schools are gonna be closed most Fridays for the remainder of the academic year.
公立学校的学生在本学年剩下的日子里将关闭。
来源:互联网摘选以往的研究主要采用试验方法,通过模型试验模拟外物冲击对叶片疲劳寿命的影响,测定剩余疲劳寿命,但试验本身具有局限性而且成本较高。
来源:互联网摘选在购入时、剩余会计年度和12月31日,购买方的会计分录如下
来源:互联网摘选对反应器壳体剩余壁厚在新工况条件下的强度和当量应力进行了校核;
来源:互联网摘选方法:切下约1/4磅的牛肉,放在一边,然后将剩余的牛肉切块。
来源:互联网摘选在恺撒则有代西玛斯·布鲁塔斯,其影响之巨,竟使恺撒在遗嘱中立他为次承继人,仅次于恺撒底孙外甥。
来源:互联网摘选实际上,这只蝴蝶在余下的时间都及其可怜的带着萎缩的身子和瘪塌的翅膀在爬行,它永远也没能飞起来
来源:互联网摘选鼻内窥镜直视下腺样体切除术,鼻咽部结构暴露清晰,手术创面小,损伤小,出血少,病变切除彻底,无残留,无明显并发症。
来源:互联网摘选America's former vice-president then sat spellbound [ 9] through the remainder of her speech.
那位美国前任副总统当时着了迷似的坐在台下听完了她后面的演讲。
来源:互联网摘选他面无表情地坐在靠背长凳上,等待礼拜的结束,等待着圣会的散场。
来源:互联网摘选第二十六条夫妻在婚姻关系存续期间所得的共同所有的财产,除有约定的以外,如果分割遗产,应当先将共同所有的财产的一半分出为配偶所有,其余的为被继承人的遗产。
来源:互联网摘选针对以上问题,本文根据传统RSA加密系统和中国剩余定理,提出了一种新的基于多密钥的RSA认证加密方案。
来源:互联网摘选Moreover, that sizable remainder would be locked up for at least the next three months.
而这些规模可观的股份还将至少锁定三个月。
来源:互联网摘选这个短语的意思覆盖了一名球员用一个球打完一洞剩余比赛的情况。
来源:互联网摘选Spherical structure at the tail effectively reduces the material remainder in the machine.
机尾部位为球面结构,有效减少刮板机内物料残留;
来源:互联网摘选虽然年轻的克伦普因为这次壮举被迫中止余下的学期,他最终还是从普利斯顿大学顺利毕业并成为了一名美国国会议员。
来源:互联网摘选
英语网 · 高中英语
英语网 · 双语娱乐资讯
英语网 · 双语娱乐资讯

英语网 · 英语词汇

英语网 · 四六级英语
英语网 · 少儿英语故事