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.
本文通过构造迭代函数，利用逐次逼近的方法给出了一类方程根的存在性与唯一性的判断的一种解决方案。
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.
本文通过构造迭代函数，利用逐次逼近的方法给出了一类方程根的存在性与唯一性的判断的一种解决方案。
应用推荐