... loop predicate 循环预测 predicate language 谓词语言 evaluable predicate [计] 可估价谓词...
基于30个网页-相关网页
predicate logic language 谓词逻辑语言
predicate calculus language 谓词演算语言
·2,447,543篇论文数据，部分数据来源于NoteExpress
Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
NEWYORKER: Utopian for Beginners
应用推荐
模块上移
模块下移
不移动