双语例句
用作名词(n.)
- You mention China as a counterexample.
你提到中国作为一个反例。 - In this paper, we give a counterexample about an open problem on regular orbits.
本文给出了关于正则轨道问题的一个反例。
权威例句
Counterexample-Guided Abstraction RefinementCounterexample-guided abstraction refinementA Counterexample in Stochastic Optimum ControlCounterexample-guided abstraction refinement for symbolic model checkingNitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model FinderNitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model FinderNitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model FinderFrom symptom to cause: localizing errors in counterexample tracesFrom symptom to cause: localizing errors in counterexample tracesIs transport in porous media always diffusive? A counterexample