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更多例句

专业释义

數學

• 可靠性定理