您要查找的是不是:
- The two-valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly-ordered weak complemented lattice, the omitting type theorem is proved. 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。
- omitting type theorem 省略型定理
- In this paper,a KKM type theorem is gained in FC-space without any convexity and linear structure. 在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了KKM型定理。
- We establish a Hille-Yosida type theorem without assumkng that the generating operators are densely defined. 英文摘要: Motivated by [*]1; this paper deals with local once integrated C-regularized cosine function.
- As a simple rule, beginner Scala programmers should try to omit type declarations which seem to be easy to deduce from the context, and see if the compiler agrees. 对于初学者,可以遵循这样一条原则:当上下文看起来比较容易推导出数据类型时,就应该忽略类型声明,并尝试是否能够编译通过,不行就修改。
- Using the value distribution theory in several complex variables, we extend Malmquist type theorem of algebraic differential equation of Steinmetz to higher-order partial differential equations. 利用多复变值分布理论;我们将Steinmetz的代数微分方程的Malmquist型定理推广到复偏微分方程中.
- A Vitali-Hahn-Saks-Graves-Ruess type theorem for bounded measures 对有界测度的Vitali-Hahn-Saks-Graves-Ruess型定理
- Whenever the coefficient matrix A is a Z-matrix, for a few of preconditioned methods, a sires of comparison theorems and Stein-Rosenberg type theorems of generalized block AOR, SSOR methods are proved, respectively. 当A为一般Z矩阵时,对多种预条件方法,给出了关于广义块AOR,SSOR迭代法的一系列比较定理及相应的Stein-Rosenberg型定理。
- In a printer, the removable type element. 印刷机上可拆卸的打印部件。
- Do you type the letter or take a rest? 你打信呢,还是休息呢?
- The headwords in this dictionary are in bold type. 本词典的词条用的是粗体字。
- Coral is formed by certain types of polyp. 珊瑚是由某些水螅体构成的。
- He devises a new type of transistor. 他发明了一种新的晶体管。
- In writing telegrams omit superfluous words. 写电报稿要省去不必要的文字。
- There are two types of rocks in this area. 这个地区有两种类型的岩石。
- We can group animals into many types. 我们可以把动物分成很多种类。
- We have many types of cosmetics for sale. 我们有许多种化妆品待售。
- This type of bulb screws into the socket. 这种灯是拧到灯座上的。
- In writing telegrams, omit superfluous words. 写电报稿要省去不必要的字。
- We now omit the prime on the matrix elements. 我们现在把各矩阵元素上的一撇略去。