prover

听听怎么读
英 [prʊvə]
美 [prʊvə]
是什么意思
  • 释义

    证人,校准[试验]装置,打校样工人;

  • 学习怎么用

    权威例句

    An efficient propositional prover
    Simplify: a theorem prover for program checking
    Isabelle --- A Generic Theorem Prover
    On the power of unique 2-prover 1-round games
    On the power of unique 2-prover 1-round games
    SATO: An Efficient Propositional Prover
    Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)
    Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)
    Nondeterministic exponential time has two-prover interactive protocols
    Non-Deterministic Exponential Time has Two-Prover Interactive Protocols