英语词典

-

首页 > 英语词典 > 字母单词表 > 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

字母词汇表更多

q开头的单词

Qx qwerty qurush qursh Quran quoting

r开头的单词

ryukyuan ryukyu RYS ryot rynd ryke

x开头的单词

xystus xyster xyst xyphophorus xylyl xylulose-5-phosphate

分类词汇表更多

公开课词汇书

zurich zoon zooming zoom zoom zoom

影视剧词汇书

zygomatic zurich zurich zurich zucchini zucchini

英语辅导词汇书

zygote zw zr zora zoot suit zoophagous

人名姓氏表更多

男

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