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.
公立学校的学生在本学年剩下的日子里将关闭。
互联网摘选
以往的研究主要采用试验方法,通过模型试验模拟外物冲击对叶片疲劳寿命的影响,测定剩余疲劳寿命,但试验本身具有局限性而且成本较高。
互联网摘选
对反应器壳体剩余壁厚在新工况条件下的强度和当量应力进行了校核;
互联网摘选
方法:切下约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.
机尾部位为球面结构,有效减少刮板机内物料残留;
互联网摘选
赢得大奖后,他把一半的现金和剩下大部分钱投资到和朋友建立的房地产生意上,而且希望能培训成为一名航空公司飞行员。
互联网摘选