soundness theorem

基本解释

• [数学]可靠性定理

英汉例句

双语例句

• The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of our proposal w…
  给出了URS的语法及语义，证明了URS的合理性与完全性定理，并与其它不确定推理方法作了比较。

• soundness theorem更多例句

专业释义

数学

• 可靠性定理