... 时序逻辑语言 temporal logic language 谓词逻辑语言 predicate logic language 梯形逻辑语言 LAD ...
基于138个网页-相关网页
·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
应用推荐
模块上移
模块下移
不移动