英语词典

-

首页 > 英语词典 > 字母单词表 > p开头的单词 > prover

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

同义词

p开头的单词

Pythagorean theorem pyruvic acid pyruvate dehydrogenase pyruvate kinase Pyrrhic victory pyoderma gangrenosum puzzle out puzzle over putty knife putting the shot put...to use put...on record

字母词汇表更多

c开头的单词

coffee pot Czechs Czechoslovakian Czechoslovakia czechoslovak Czechic

h开头的单词

Hz Hythe hyte hystrix hysteroscope hysteron proteron

o开头的单词

ozostomia ozonous ozonosphere ozonometer ozonizing ozonizes

分类词汇表更多

化工行业

working face winding shaft wedge water table ventilation shaft vein

食品行业

yellow wine wu chia pee white wine whisky vodka vinegar

柯林斯星级词汇

zoology zoo zone zodiac zip zest

人名姓氏表更多

男

zack zachary Zachariah young York Yates

女

Zola Zoe Zenobia Zenia Zena Zandra

男/女

Yong wynn winter willie Whitney wally

新东方柯林斯词典

托福考试练习

雅思预测

2024年雅思考试重点题汇总[听力|阅读|写作|口语] [雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3地点类 2024年2月雅思考试听力|阅读|写作|口语重点题汇总 2020年9月雅思口语新题part1：shopping 2021年1月雅思口语新题part2:你认为可以教别人的技能 [雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3事件类 2020年9月雅思口语新题part1：Activity 2021年1月雅思口语新题part2:你以前看过的现场体育赛事 [雅思考前必刷]2024年1月雅思阅读考前必刷题 2019年5-8月雅思口语part1话题范文：Music