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