The Equational sentence and the Equative sentence are similar in form, but are quite different if analyzed semantically.
等式句与对等句是两种从形式上看上去极为相似的句式。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
Problems of equational realizations of separable functions and nonseparable functions are discussed by using this method in this paper.
本文用这种方法讨论可分离函数及不可分离函数的实现问题。
The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.
提出的所谓质流相似法，不同于传质相似理论中方程分析法和量纲分析法。
By means of constructional iterative equation, this paper presents a way to give out the existence and singularity of a type of equational root with gradual approach method.
本文通过构造迭代函数，利用逐次逼近的方法给出了一类方程根的存在性与唯一性的判断的一种解决方案。
Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.
配合了现在市面上五花八门、尺寸不再单一的图书，打破了传统书架的固定框架，空间均分的局限性，使用起来方便自如。
Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.
配合了现在市面上五花八门、尺寸不再单一的图书，打破了传统书架的固定框架，空间均分的局限性，使用起来方便自如。
应用推荐