【equational_logic】什么意思_英语equational_logic的翻译_音标_读音_用法_例句_在线翻译

equational logic

逻辑方程式

... 方程式语言 equational language 逻辑方程式 equational logic 等定局 equifinality ...

基于32个网页-相关网页

等式逻辑

... exponential random variable 指数随机变量 equational logic 等式逻辑 magmatic origin 岩浆起源 ...

基于12个网页-相关网页

相等逻辑

相等逻辑

基于1个网页-相关网页

短语

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. The model theory of this logic was developed into Universal algebra by Birkhoff, Grätzer and Cohn.

以上来源于: WordNet

This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句