paramodulation

美:[pærəmɒdjʊ´leɪʃn]   英:[pærəmɒdjʊ´leɪʃn]

中文翻译

n.调解法

网络解释

调解方法

英文短语

  • 1.NC-paramodulation NC调解
  • 2.input paramodulation 输入替换
  • 3.paramodulation principle 替换原理
  • 4.symmetry paramodulation 对称调解
  • 5.generalized directed paramodulation 广义有向调解
  • 6.generalized symmetric paramodulation 广义对称调解
  • 英文例句

  • 1.In this paper, an improved paramodulation method is also presented, that prohibits the paramodulation between equalities .文中还提出了一种改进的调解方法,其中禁止等词之间的调解。

  • 其他单词翻译

    英文单词 中文含义
    abstractive

    adj. 具有抽象能力的,摘要式的

    网络解释

    抽象性质的; 有抽象能力的; 具抽象力的

    absurdness

    n. 荒谬,愚蠢;讹谬

    网络解释

    荒谬; 荒诞

    abstruct

    [计] 简介

    网络解释

    弘毅简介; 单位简介; 抽象类和方法

    abundant

    adj. 大量的,充足的;丰富的,富有的;丰足;阜

    网络解释

    丰富的; 充足的; 富裕

    abukumalite

    n.钇硅磷灰石;硅磷灰石;铋磷灰石

    网络解释

    铋磷灰石

    abswrite

    n.绝对写

    网络解释

    写磁盘绝对扇区; 绝对扇区写; 绝对写

    abstruse

    adj. 难解的; 深奥的;〈古〉秘密的;隐藏的

    网络解释

    奥妙的; 玄奥; 玄妙

    abundantly

    adv. 丰富地;大量地;十分清楚;非常明白

    网络解释

    丰富地; 充足地; 大量的

    abul

    abbr. abulia 意志力丧失

    abt

    abbr.大约(about)

    n.(Abt)人名;(英、德、波、匈、捷)阿布特

    网络解释

    美国芭蕾舞剧院(American Ballet Theatre); 雅培(Abbott); 生根粉

    abura

    [建]大叶帽柱木

    网络解释

    毛帽柱木; 油; 托叶帽柱木

    abulia

    n. 意志力丧失

    网络解释

    意志缺乏; 意志丧失; 意志缺失

    aburamycin

    n.阿布拉霉素

    aburdene

    n.阿伯迪恩

    网络解释

    阿伯迪恩; 思比

    abusiveness

    n. 滥用;虐待;攻击;毁谤

    网络解释

    咒骂; 滥用; 虐待

    abutter

    n. 相邻房地产的业主

    网络解释

    隔邻地主; 房地产主; 相邻业主

    abusage

    n. 文字的滥用,不合习惯或语法的语言文学

    网络解释

    文字滥用; 不适当的言语; 粗俗语

    abustle

    adj.熙来攘往的,忙碌的

    网络解释

    忙碌的; 熙来攘往

    abutting

    adj. 邻接的

    v. (与…)邻接( abut的现在分词 );(与…)毗连;接触;倚靠

    网络解释

    邻接的; 邻接互连; 交接

    abyss

    n. 深渊,无底洞;深邃;〈古〉地狱,阴间;浑沌

    网络解释

    无底洞; 在深渊; 万丈深渊