有奖纠错
|　划词
英语例句库

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

描述逻辑是一表示形式语,是一阶逻辑可判定子集。

评价该例句：好评差评指正

用户正在搜索

nontransitive, non-transitive, nontranslational, non-translational, nontransparency, non-transparency, nontransparent, nontrappable, nontrivial, nontronite,

相似单词

3G, 401(K), a,

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

原声例句
科技 Crash Course

Turing reasoned if there existed a program, whose halting behavior was not decidable by age, it would mean the halting problem is unsolvable.

图灵推断，在一个程序，其停机为不能由年龄决定，着停机问题无法解决。

评价该例句：好评差评指正

用户正在搜索

non-typical, non-U, nonuniform, nonuniformity, nonunion, non-union, nonunionism, nonunionist, nonuniqueness, nonunity,

相似单词

3G, 401(K), a,
译
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接