... equation n平衡;均衡;平均;相等;等式 equational a方程式的;相等的 equator n赤道;天球赤道;(平均分球形物体的面的)圆;(任何)大圆 ...
基于68个网页-相关网页
equational division [遗] 均等分裂 ; 或均等分裂
equational logic 逻辑方程式 ; 等式逻辑 ; 相等逻辑
equational language 方程式语言
equational separation [遗] 均等分离
equational box 差速箱
equational exception 异例均等个体
equational split 均等裂开
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.
本文用这种方法讨论可分离函数及不可分离函数的实现问题。
应用推荐