... 逻辑反相器 logic inverter 逻辑方程 logical equation 逻辑方法 logical method ...
基于188个网页-相关网页
... logic decision making 逻辑决策 logic equation 逻辑方程 logic judgment 逻辑判断 ...
基于100个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
本文以降维图为工具，给出了多变量逻辑方程组的图解法。
Using the Reduced—Dimension Maps, this paper provides the diagram method of Multivariate Logic Equations.
阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解。
The conclusion that the logical equation or logical equations in any form could be changed into linear logical equation is clarified.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
应用推荐