first-order predicate

...一个非常有影响的解决方案：他说，存在是谓词，但不是一阶谓词（first-order predicate），而是二阶谓词（first-order predic…

...first-order predicate），而是二阶谓词（first-order predicate）。

Multiprocessor   &... ... sound resource 声音资源 first-order predicate 一阶谓词演算 Knowledge base 知识 …