当前位置:古代字词典网 >  英语学习 >  second-order predicate calculus的意思
second-order predicate calculus的意思

汉语翻译

【计】 二阶谓词演算