词条纠错
X

formal logic

您还没有登录,点这里登录注册
登录后,您可以提交反馈建议,同时可以和手机、电脑同步生词本。
英汉-汉英词典中发现10个解释错误,并通过审核,将获赠「欧路词典」授权一个

formal logic

生词本: 添加笔记:
有奖纠错
| 划词

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述辑是一种知识示的形式化语言,是一阶辑的可判定子集。

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,内容亦不代本软件的观点;若发现问题,欢迎向我们指正。

显示所有包含 formal logic 的英语例句

用户正在搜索


cataclysmal, cataclysmic, catacolpate, catacomb, catacombs, catacorolla, catacoustics, catacrotism, catadioptric, catadioptrics,

相似单词


formability, FORMAC, formacyl, formagen, formal, formal logic, formaldehyde, formaldehydesulfoxylate, formaldoxime, formale,
[+反馈]
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接

您还没有登录,点这里登录注册
生词本和学习记录“云”同步,支持网站、电脑版和手机客户端。