- 更多网络解释与谓词常数相关的网络解释 [注:此内容来源于网络,仅供参考]
-
predicate calculus with identity:带恒等式的谓词演算
predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数
-
predicate constant:谓词常数
predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数 | predicate logic 谓词演算
-
predicate logic:谓词演算
predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号