second-order
second-order是什么意思、second-order怎么读
【计】 二阶逻辑; 二阶谓词演算
second-order汉语翻译
【计】 二阶逻辑; 二阶谓词演算