您要查找的是不是：
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- One of the second order of angels. 二级天使天使中的第二级
- second order logic 二阶逻辑
- And the second order effects should also be mild. 第二波的影响亦应该比较温和。
- Numerical solution of second order differential equations. 二阶微分方程的数值解。
- The general solution of a kind second order equation is given. 摘要给出一类二阶变系数线性微分方程的通解。
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- It is: (1)designed according to attenuate vib-ration system of second order. 其特点是按具有衰减振荡的二阶系统进行设计;
- When sharing a quest, the order logic has changed to check whether or not the player has completed or is ineligible for the quest before checking whether their quest log is full. - 共享任务时，逻辑改为检查队友是否完成了任务或有无资格接受任务，而不是检查任务日志是否已经满了。
- By combining these pictographs, a second order of ideas is expressed. 把这些象形字缀合在一起表示了另一层次的观念。
- Existence of positive solutions of BVP for second order IDE with fixed moments. 二阶脉冲微分方程边值问题。
- Title： Boundary value problem for a class of second order nonlinear O.D.E. 关键词：非线性常微分方程;边值问题;解;存在性
- An Analytical Study on Cherenkov Cascading Second Order Nonlinearity[J]. 引用该论文 钟开生;胡鸿璋;张海斌;梁麦林.
- 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的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
- The difficulty is in which way the non-circulating stock can acceptably enter the second order market. 全流通的难点是非流通股份以何种方式进入市场,才能被二级市场所接受。
- Finite Time State Feedback Controllers for a Class of Second Order Nonlinear Systems P. 一类二阶非线性系统的有限时间状态反馈控制器。
- This book deals with nonlinear parabolic equations and system of second order in highter dimensional domains. 非线性抛物型方程在高维区域中的初一边值问题
- The First- order Logic and Set Theory 一阶逻辑与集合论
- On the first problem of a class of the second order parabolic systems of two variables and two unknown functions. 一类二阶两个自变数两个未知函数的抛物形方程组的第一问题。
