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.
本文用这种方法讨论可分离函数及不可分离函数的实现问题。
应用推荐