go top

proof procedure

  • 证明过程:在数学、逻辑或计算机科学中,一种用于证明某个命题或定理成立的方法和步骤。

网络释义专业释义英英释义

  [数] 验证过程

... proof listing 验证列表 proof procedure 验证过程 proof total 验证合计 ...

基于214个网页-相关网页

短语

proof procedure detail 验证过程

resolution proof procedure 消解证明过程

natural deduction proof procedure 自然演绎证明过程

maryland refutation proof procedure system 马里兰反演证明过程系统

procedure for establishing proof 确立证据程序

proof of procedure 诉讼证据

proof show procedure 证据开示程序

proof-providing procedure 举证程序

 更多收起网络短语
  • 证明过程 - 引用次数:3

    But there are many limitations in their methods because the methods are not based on analysis of resolution proof procedure.

    但由于他们的方法都不是从分析归结证明过程出发的,所以他们的方法存在许多局限性。

    参考来源 - 从归结证明树抽取程序
  • 验证过程
  • 验证过程

·2,447,543篇论文数据,部分数据来源于NoteExpress

Proof procedure

  • abstract: In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.

以上来源于: WordNet

双语例句权威例句

  • The second part discusses the proof object of the legitimacy proof procedure of confession.

    第二部分是口供合法性证明证明对象

    youdao

  • The fifth part discusses the specific application in the legitimacy proof procedure of confession.

    第五部分是口供合法性证明程序具体运用

    youdao

  • The third part discusses the allotment of responsibility in the proof of the legitimacy proof procedure of confession.

    第三部分口供合法性证明证明责任分配

    youdao

更多双语例句
  • And then it's almost a criminal procedure, requiring proof beyond a reasonable doubt.

    CNN: Pediatricians urge tougher chemical safety law

  • The Savages are not releasing the name of the clinic where they underwent the IVF procedure, but provided CNN with proof of their reproductive predicament, including results of amniocentesis, a genetic test, indicating the baby Carolyn is carrying is not theirs.

    CNN: Fertility clinic to couple: You got the wrong embryos

  • But other doctors, especially oncologists used to the rigorous standards of proof required for big drug trials, note a lack of controlled trial data showing that the procedure extends life.

    FORBES: Tumor Zappers

更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定