词组短语
proving ground n. 试验场,检验场
theorem proving定理证明
双语例句
- My millionaire grandfather left all his money to research into proving that the pyramids in Egypt were built by visitors from outer space. That beats the band!
我祖父生前是一百万富翁,他把自己的全部资财遗赠出来,用以考证埃及金字塔是天外来客建造的这一臆断是否成立。 - He takes great delight in proving others wrong.
他的极大乐趣是证实别人错了。 - What a sod this job is proving to be!
这事儿可真棘手哇!
权威例句
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