predicate calculus logic的意思|示意

美 / / 英 / /

述词演算逻辑

述词演算逻辑 ... predicate calculus logic 述词演算逻辑 predicate logic language 谓词逻辑语言 highorder predicate logic 高阶谓词逻辑 ...