predicate logic language
... 时序逻辑语言 temporal logic language 谓词逻辑语言 predicate logic language 梯形逻辑语言 LAD ...
基于132个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
youdao
应用推荐
模块上移
模块下移
不移动