Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
According to the field matching theorem, the transmission equation and scatter matrix expressions of the coaxial extractor system with support post are educed in this paper.
本文根据场匹配原理导出了具有支撑杆的同轴提取区系统的传输方程和散射矩阵，并对同轴提取区各部分的微波模式进行了理论分析。
In order to get the convergence properties of the weak set-valued Amart, we firstly proved the theorem that the limit of support functions is a support function.
为了得到关于弱集值渐近鞅的收敛性质，首先证明了支撑函数列的极限亦为一支撑函数。
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 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 -样条函数空间的局部支集基问题，给出了局部支集基定理的正确证明。
应用推荐