Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。
After an initial proof-of-concept involving various distributed computing frameworks, Terracotta was deemed to be the framework most likely to give MRS the grunt it needed.
在进行了涉及各种分布式计算框架的概念验证之后，Terracotta被认为是最有可能满足MRS需求的框架。
Alicia: I'm sorry. Just give me a moment to redefine my girlish notions of romance. A proof? Verifiable data.
艾莉西亚：对不起，给我点时间让我重新考虑我少女式的浪漫观念。一个证明？能证实的事实。
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。
Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。
Firstly, we construct the system KA of knowing agents, give some results of its proof theory.
首先，我们构造知道主体的系统KA，给出它的一些证明论结果。
In this article we apply formal matrices technique to get a equivalent proposition of Li Shanian identity, and hence give an elementary proof for Li Shanlan identity.
本文应用形式矩阵的计算技巧，得到李善兰恒等式的一个等价命题，进而给出李善兰恒等式的一个初等证明。
In this paper, we give an exact description on dynamic model of united output, and an accurate proof on existence of the equilibrium increase solution with the largest increase rate about the model.
本文绘出了动态联合产出模型的确切描述，并给出了这一模型存在增长率最大的均衡增长解的确切证明。
In this paper, we give a method for cutting out a maximal equilateral triangle from a square and a strict proof of this method.
给出从给定正方形中裁出边长(或面积)最大的正三角形的方法及其严格证明。
In this paper, the authors give a strict proof of geometric Brown motion displayed by stock prices using the methods of approximation from discrete process to continuous stochastic process.
通过由一般的离散过程逼近连续随机过程的方法，给予证券价格按有漂移率的几何布朗运动变化的一个严格的证明，并指出了股票价格过程的一般模型。
Be sure of it; give me the ocular proof — William Shakespeare, English dramatist.
确信一点；给我看得到的证据- - -威廉·莎士比亚，英国剧作家。
In this paper, We discuss a local-support basis for the space of L-spline functions, and give correct proof for the local-support basis theorem.
本文讨论L -样条函数空间的局部支集基问题，给出了局部支集基定理的正确证明。
In the paper, we present a direct proof of Raney s intrinsic characterization of completely distributive lattices and give some applications of the intrinsic characterization.
本文对完全分配格的内蕴式刻划给出了一个简洁的直接证明，并给出了内蕴式刻划的若干应用。
Alicia: uh, Sorry, just give me a moment... redefine my girlish notions of romance. A proof? Verifiable data. Okay, How big is the universe?
艾丽西娅：你等等，给我一点时间…让我为自己对爱情的见解下个定义。你要证明和能作为依据的资料，好啊，告诉我宇宙有多大？
The Frenchman is the second longest-serving boss in the Premier League and he believes that Hodgson is living proof of what can happen if you give people a chance.
这位法国人是英超执教时间第二长的主帅，他相信霍奇森证明了只要你给人们一个机会，他们就能取得成功。
By using theory of enveloping semigroup, we give a simple proof of an important theorem concerning proximity relations.
运用包络半群的理论，对接近关系中一个重要定理给出了一个简单证明。
We will give a general model of solving problems with construction and study its applications in the theory of determinant, in proof problems and calculation problems.
对构造法解题的一般模式及其在行列式的理论、证明题和计算题中的应用进行了探讨。
Alicia: : I'm sorry. Just give me a moment to redefine my girlish notions of romance. A proof? Verifiable data.
艾莉西亚：对不起，给我点时间让我重新考虑我少女式的浪漫观念。一个证明？能证实的事实。
In the second part, we give another proof of the existence of Brownian sheet which all sample paths are continuous.
第二部分，我们采用另外一种证明方法证明存在几乎所有轨道连续的布朗单。
I know that, in any case, the Lakers will not give up, no further indulgence should be proof of this is the best opportunity of their own.
我知道，无论如何，湖人都不会放弃，不会再放纵，应为这是证明他们自己的最好机会。
In this paper, we use the theory of symmetric bilinear function to solve problems of quadratic form, and finally give a proof of the inertia theorem.
通过建立二次型与对称双线性函数之间的对应关系，在双线性函数的概念下讨论二次型化标准型的问题，最后给出惯性定理的一个证明。
Alicia: uh-Sorry-just give me a moment in time... redefine my girlish notions of romance. A proof? Verifiequipped data. Okay-How huge is the universe?
艾丽西娅：歉仄，给我一点时间…让我重新定义对少女浪漫的概念。你要证明和能作为依据的原料，好啊，告诉我宇宙有多大？
We expected to give data to the clinical application of intervertebral discs and give the morphological proof to the studies on Biomechanics.
旨在为临床应用提供资料，同时为椎间盘的有关生物力学研究提供形态学依据。
As immediate consequence of our results we give a new proof of the inverse relations of central factorial Numbers.
作为直接推论给出了中心阶乘数反演关系的新证明。
This paper presents an attempt to give a concise theoretical proof the existence of Evanescent fields.
本文以简明的方式从理论上证明了倏逝场的存在，并介绍了一些检测倏逝场性质的实验方法。
This paper presents an attempt to give a concise theoretical proof the existence of Evanescent fields.
本文以简明的方式从理论上证明了倏逝场的存在，并介绍了一些检测倏逝场性质的实验方法。
应用推荐