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.
本文根据场匹配原理导出了具有支撑杆的同轴提取区系统的传输方程和散射矩阵，并对同轴提取区各部分的微波模式进行了理论分析。
应用推荐