>

high-order predicate calculus

📖 中文释义

  1. [计] 高阶谓词演算