单词 | proving |
释义 |
proving听听怎么读
英 ['pru:v??]
美 ['pruv??]
是什么意思 校对; 证明( prove的现在分词 );检验,试验; 英英释义prove[ 'pru:vi? ]
学习怎么用 词组短语proving ground n. 试验场,检验场 theorem proving定理证明 双语例句
权威例句Proving the Correctness of Multiprocess ProgramsStrand Spaces: Proving Security Protocols CorrectStrand spaces : Proving security protocols correctA Machine Program for Theorem-provingThe complexity of theorem-proving proceduresThe complexity of theorem-proving proceduresInteractive Theorem Proving and Program DevelopmentSymbolic logic and mechanical theorem provingStrips: A new approach to the application of theorem proving to problem solvingSTRIPS: a new approach to the application of theorem proving to problem solving
|
随便看 |
|
英语词典包含168364条英汉在线翻译词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。