... 可解 decidable 可解语言 decidable language 十进制,小数点 decimal ...
基于16个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
youdao
应用推荐
模块上移
模块下移
不移动