... higher-orderprecedencegrammar高阶优先文法 higher-orderpredicate高价谓词 higher-orderpredicatecalculus高阶谓词演算 ...
基于4个网页-相关网页
first-orderpredicate 一阶谓词
higher-orderpredicate 高价谓词
应用推荐
模块上移
模块下移
不移动