- 推荐网络例句
-
She hardly eats enough to keep body and soul together.
她没有足够的食物来维持生命。
-
Once again, the scientists have caught us mouthing pieties while acting just the contrary.
你会说以貌取人不是美国人的做法,这不公
-
The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .
关于多项式符号代数理论在形式化验证方面的研究,人们给出了WGLs和TEDs两个多项式表示模型,并给出了相应的等价性验证算法。