... soundness of program logic程序逻辑边定性 soundness of inference rules推理规则的合法性 The soundness of his performance他表演的娴熟. ...
基于1个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
Soundness, which means that the system's rules of proof will never allow a false inference from a true premise.
健全,这意味着系统的规则的举证责任,决不允许有虚假推理从一个真正的前提。
youdao
应用推荐
模块上移
模块下移
不移动