它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。

Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.

youdao

但是，实证分析的结论并不特别支持价格水平的财政决定理论的主要论点，这也是这个理论的最为薄弱的一个环节。

But the conclusion of empirical analyses cannot support fiscal doctrine of the price level determination especially, so this is the weakest part of this theory, too.

youdao

没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。

Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.

youdao

研究结果表明了自我决定理论在就业领域具有一定的适用性，也表明了积极的情感支持和网络信息支持有助于激发就业动机、提高就业积极性。

The data analysis suggests self-determined theory is capable of explain the facts of the employment, and the students can be motivated by positive emotional support and informational support.

youdao

提出了一个新的支持向量机模型——基于边界调节的支持向量机，并利用拉格朗日定理得到了这种支持向量机的对偶目标函数。

In order for an SVM to be more robust to noise, a new SVM model i. e., the support vector machine based on adjustive boundary SVMAB is proposed.

youdao

提出了一个新的支持向量机模型——基于边界调节的支持向量机，并利用拉格朗日定理得到了这种支持向量机的对偶目标函数。

In order for an SVM to be more robust to noise, a new SVM model i. e., the support vector machine based on adjustive boundary SVMAB is proposed.

youdao