词组短语
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 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