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