soundness theorem
常見(jiàn)例句
- 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的語(yǔ)法及語(yǔ)義，證明了URS的合理性與完全性定理，并與其它不確定推理方法作了比較。 返回 soundness theorem