... 述词演算 predicate calculus 述词逻辑 predicate logic 初始述词 initial predicate ...
基于24个网页-相关网页
短语
第二阶述词演算
second predicate calculus
;
second order predicate calculus
述词演算逻辑
predicate calculus logic
单述词演算
unary predicate calculus
较高阶述词演算
higher order predicate calculus
高阶述词演算
high order predicate calculus
第一阶述词演算
first order predicate calculus
·2,447,543篇论文数据，部分数据来源于NoteExpress