Mobile
Log In Sign Up
Home > english-chinese > "子句形式" in Chinese

Chinese translation for "子句形式"

clause form

Related Translations:
包含子句:  subsumed clause
表示子句:  representation clause
相同子句:  same clause
to子句:  to clause
真值子句:  truth clause
建立子句:  establishing clause
因子子句:  factor clause
子句体:  clause body
推理子句:  inference clause
返回子句:  return clause
Example Sentences:
1.So the paramodulation can be used in generalized clause set . the advantage of the generalized clause set is that it can avoid abound of redundancy and make describing problem more natural . this thesis proposes the generalized paramodulation in bofl and proves the soundness of it
这样可以将调解法用于一种非子句形式的公式集? ?广义子句上,从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性。
Similar Words:
"子句的基本集" Chinese translation, "子句归类" Chinese translation, "子句列" Chinese translation, "子句体" Chinese translation, "子句网络" Chinese translation, "子句语法" Chinese translation, "子句这里" Chinese translation, "子句值" Chinese translation, "子爵" Chinese translation, "子爵大饭店" Chinese translation