prover音标
英 [prʊvə]
美 [prʊvə]
prover翻译
释义
证人,校准[试验]装置,打校样工人;
prover用法
权威例句
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