counterexample什么意思 counterexample音标、翻译、用法
counterexample音标
英 ['kaʊntəɪg'zæmpl]
美 ['kaʊntəɪg'zæmpəl]
counterexample翻译
n.
反例；
英英释义
counterexample[ 'kauntəriɡ'zɑ:mpl ]
n.refutation by example
counterexample用法
双语例句
用作名词(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