请输入您要查询的英文单词:

 

单词 equational logic
释义
equational logic
  • 简明释义
  • 逻辑方程式;等式逻辑
  • 网络释义
  • 1

    ?逻辑方程式

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

  • 2

    ?等式逻辑

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

  • 3

    ?相等逻辑

    相等逻辑

短语
  • 双语例句
  • 1
    This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
    这是一个用于一阶和逻辑方程序的自动理论证明器,用于支持语言处理中的推理。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/6 17:25:14