soundness theorem
基本解釋
- [數(shù)學(xué)]可靠性定理
英漢例句
- 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的合理性與完全性定理,并與其它不確定推理方法作了比較。
雙語例句
專業(yè)釋義
- 可靠性定理